The nuts and bolts of proofs /

Bibliographic Details

Main Author:	Cupillari, Antonella
Format:	Book
Language:	English
Published:	Amsterdam ; Boston : Elsevier Academic, [2005]
Edition:	3rd ed.
Subjects:	Proof theory.