名古屋大学附属図書館




1

Theory of formal systems

by Raymond M. Smullyan. -- Rev. ed. -- Princeton University Press, [preface, 1962]. -- (Annals of mathematics studies ; no. 47).