A logical introduction to proof /

Bibliographic Details
Main Author:	Cunningham, Daniel W.
Format:	Book
Language:	English
Published:	New York : Springer Verlag, 2012.
Subjects:	Logic, Symbolic and mathematical.

Evans: Library Stacks