A Logical Introduction to Proof
By: by Daniel W. Cunningham
Contributors: SpringerLink (Online service)
Publisher: Springer New York; Imprint: Springer
Published: 2012
Place of publication: New York, NY
Language: eng
Format: [electronic resource] /
ISBN-13: 9781461436317
Subjects: Mathematics; Mathematics, general; Symbolic and mathematical Logic; Mathematical Logic and Foundations