Understanding mathematical proof

Bibliographic Details
Main Authors:	Taylor, John 1957- (Author), Garnier, Rowan (Author)
Format:	Book
Language:	English
Published:	Boca Raton Taylor & Francis [2014]
Subjects:	Proof theory. Logic, Symbolic and mathematical.