Nuts and bolts of proofs
Cupillari Antonella
Nuts and bolts of proofs - 2 - San Diego Academic Press 2001 - xii,149p. cm.
Index p149.
0121994511 (pbk)
15235
Textual
Logic
Mathematical logic
Proof theory
Nuts and bolts
B:(R1), P1
Nuts and bolts of proofs - 2 - San Diego Academic Press 2001 - xii,149p. cm.
Index p149.
0121994511 (pbk)
15235
Textual
Logic
Mathematical logic
Proof theory
Nuts and bolts
B:(R1), P1
