Emil L. Post

• Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5