The Two-Valued Iterative Systems of Mathematical Logic (1941)

by Emil L Post