APA (7th ed.) Citation

Cunningham, D. W. (2012). A logical introduction to proof. Springer Verlag.

Chicago Style (17th ed.) Citation

Cunningham, Daniel W. A Logical Introduction to Proof. New York: Springer Verlag, 2012.

MLA (9th ed.) Citation

Cunningham, Daniel W. A Logical Introduction to Proof. Springer Verlag, 2012.