Schwichtenberg, H., & Wainer, S. S. (2012). Proofs and computations. Association for Symbolic Logic ; Cambridge University Press.
Citação norma ChicagoSchwichtenberg, Helmut, and S. S. Wainer. Proofs and Computations. Ithaca, NY : Cambridge ; New York: Association for Symbolic Logic ; Cambridge University Press, 2012.
Citação norma MLASchwichtenberg, Helmut, and S. S. Wainer. Proofs and Computations. Association for Symbolic Logic ; Cambridge University Press, 2012.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.