名古屋大学附属図書館




1

Introduction to metamathematics

by Stephen Cole Kleene. -- University of Tokyo Prss, 1972. -- (Bibliotheca mathematica ; v. 1)(Tokyo University international edition ; no. 42).