名古屋大学附属図書館




1

The two-valued iterative systems of mathematical logic

by Emil L. Post. -- Princeton University Press. -- (Annals of mathematics studies ; no. 5).