Friedman, D. P., & Eastlund, C. (2015). The little prover. MIT Press.
Chicago-Zitierstil (17. Ausg.)Friedman, Daniel P., und Carl Eastlund. The Little Prover. Cambridge, Massachusetts: MIT Press, 2015.
MLA-Zitierstil (9. Ausg.)Friedman, Daniel P., und Carl Eastlund. The Little Prover. MIT Press, 2015.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.