A classic treatment of two-valued iterative systems of mathematical logic from the acclaimed Annals of Mathematics Studies series
