名古屋大学附属図書館




1

Introduction to mathematical logic

by Alonzo Church ; notes by C.A. Truesdell ; pt. 1. -- Kraus Reprint, 1965. -- (Annals of mathematics studies ; v. 13).