Nuts and bolts of proofs - Cupillari Antonella (San Diego Academic Press, 2001)
Index p149.
Keywords: Logic; Mathematical logic; Proof theory; Nuts and bolts