O'Leary, Michael L.
Structure of proof with logic and set theory
- New Jersey: Prentice Hall, 2002
- xiv, 418 p.; ill., index: 24 cm.
9780130190772 (hbk)
Number theory
Predicates and proofs
Proof theory
Propositional Logic
Structure of proof
511.3 / OLE