Cupillari, Antonella.
Nuts and bolts of proofs - 3rd ed. - Amsterdam, Boston : Elsevier Academic c2005. - xii, 179 p.
0120885093
Proof theory.
519.17 CUP
Nuts and bolts of proofs - 3rd ed. - Amsterdam, Boston : Elsevier Academic c2005. - xii, 179 p.
0120885093
Proof theory.
519.17 CUP