名古屋大学附属図書館




1

Introduction to mathematical logic

by Alonzo Church ; v. 1. -- Princeton University Press, 1956. -- (Princeton mathematical series ; 17).