名古屋大学附属図書館




1

Introduction to metamathematics

by Stephen Cole Kleene. -- North-Holland. -- (Bibliotheca mathematica ; v. 1).