A classic treatment of two-valued iterative systems of mathematical logic from the acclaimed Annals of Mathematics Studies series
Looking for other site content?
Try our Site Search.
