A logical introduction to proof

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