Two-valued iterative systems of mathematical logic
Post, Emil L.
Two-valued iterative systems of mathematical logic - Princeton Princeton University 1941 - 122p - Annals of mathematics studies : No. 5 .
Roman
Mathematical logic
164
Two-valued iterative systems of mathematical logic - Princeton Princeton University 1941 - 122p - Annals of mathematics studies : No. 5 .
Roman
Mathematical logic
164