A Logical Introduction to Proof [electronic resource] / by Daniel W. Cunningham.
Record details
- ISBN: 9781461436317
- Physical Description: XV, 356 p. 145 illus. online resource.
- Publisher: New York, NY : Springer New York : 2013.
Search for related items by subject
Subject: | Mathematics. Logic, Symbolic and mathematical. Mathematics. Mathematics, general. Mathematical Logic and Foundations. |