Schwichtenberg, H., & Wainer, S. S. (2012). Proofs and computations. Ithaca, NY.: Association for Symbolic Logic.
Παραπομπή Chicago StyleSchwichtenberg, Helmut, and Stanley S. Wainer. Proofs and Computations. Ithaca, NY.: Association for Symbolic Logic, 2012.
Παραπομπή MLASchwichtenberg, Helmut, and Stanley S. Wainer. Proofs and Computations. Ithaca, NY.: Association for Symbolic Logic, 2012.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.