Two-Valued Iterative Systems of Mathematical Logic (1941)

by E Post