APA (7th ed.) Citation

Turing, A., & Appel, A. W. (2012). Alan Turing's systems of logic: The Princeton thesis. Princeton University Press.

Chicago Style (17th ed.) Citation

Turing, Alan, and Andrew W. Appel. Alan Turing's Systems of Logic: The Princeton Thesis. Princeton, New Jersey: Princeton University Press, 2012.

MLA (8th ed.) Citation

Turing, Alan, and Andrew W. Appel. Alan Turing's Systems of Logic: The Princeton Thesis. Princeton University Press, 2012.