100 mathematical proof

Bibliographic Details
Main Author:	Garnier, Rowan
Other Authors:	Taylor, John 1957-
Format:	Book
Language:	English
Published:	Chichester Wiley c1996.
Subjects:	Proof theory. Logic, Symbolic and mathematical.