The two-valued iterative systems of mathematical logic
by Emil L. Post.
Princeton : Princeton University Press, 1941 (New York : Kraus Reprint Corp., 1965)
122 págs. ; 23 cm.
Serie: Annals of mathematics studies ; no. 5
Bibliografía: p. 119-122.
Reseña: MathSciNet, 2,337a