Title: The two-valued iterative systems of mathematical logic
Subjects: Logic, Symbolic and mathematical Logic