名古屋大学附属図書館




1

The two-valued iterative systems of mathematical logic

by Emil L. Post. -- Kraus Reprint, 1965. -- (Annals of mathematics studies ; no. 5).