APA aipamena

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

Chicago Style aipamena

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

MLA aipamena

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