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.

Description
Physical Description:	xv, 356 pages : illustrations ; 24 cm.
Bibliography:	Includes bibliographical references and index.
ISBN:	9781461436300 1461436303