Theorems, corollaries, lemmas, and methods of proof
- Hoboken: Wiley, 2006
- xiii, 318 p.; ill., index: 24 cm.
- Pure and applied mathematics : a Wiley-Interscience series of texts, monographs, and tracts. .
9780470042953 (hbk)
Logic, Symbolic and mathematical -- Textbooks Mathematical analysis -- Foundations -- Textbooks Proof theory -- Textbooks