The nuts and bolts of proofs /

Bibliographic Details

Main Author:	Cupillari, Antonella
Format:	Book
Language:	English
Published:	San Diego, Calif. : Academic Press, [2001]
Edition:	2nd ed.
Subjects:	Proof theory.