The Two-Valued Iterative Systems of Mathematical Logic. (Am-5) door Emil L. Post