A Logical Introduction to Proof
MLA
Cunningham, Daniel W. A Logical Introduction to Proof. Springer New York, 2013.
APA
Cunningham, D. W. (2013). A Logical Introduction to Proof. Springer New York.
Chicago
Cunningham, Daniel W. A Logical Introduction to Proof. : Springer New York, 2013.