名古屋大学附属図書館




1

The two-valued iterative systems of mathematical logic

by Emil L. Post. -- University Microfilms, 1963. -- (O-P book).