APA Edition Citation

Schwichtenberg, H., & Wainer, S. S. (2012). Proofs and computations. Association for Symbolic Logic ; Cambridge University Press.

Chicago Edition Citation

Schwichtenberg, Helmut, and S. S. Wainer. Proofs and Computations. Ithaca, NY : Cambridge ; New York: Association for Symbolic Logic ; Cambridge University Press, 2012.

MLA Edition Citation

Schwichtenberg, Helmut, and S. S. Wainer. Proofs and Computations. Association for Symbolic Logic ; Cambridge University Press, 2012.

Warning: These citations may not always be 100% accurate.