名古屋大学附属図書館




1

Introduction to metamathematics

by Stephen Cole Kleene. -- University of Tokyo Press, 1969. -- (Tokyo University international edition ; no. 42).