A handbook of proofs and theories / edited by Maria Catherine C. Borres. - New York : Arcler Press, c2017. - 355p.

Includes index.

97816800945881


Proof theory
Proofs

511.3