A Handbook of Proofs and Theories /
[edited by] Borres, Maria Catherine C.
- New York, USA : Arcler Press, c2017.
- 257 pages : color illustrations ; 27 cm., hb.
Includes index and bibliographical references
Logic, Symbolic and mathematical Logic Proof theory