A handbook of proofs and theories /
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
Includes index.
97816800945881
Proof theory
Proofs
511.3