Hendricks, V. F., Pedersen, S. A., & Jorgesen, K. F. (2000). Proof theory: History and philosophical significance. Dordrecht: Kluwer Academic Publishers.
Παραπομπή Chicago StyleHendricks, Vincent F., Stig Andur Pedersen, and Klaus Frovin Jorgesen. Proof Theory: History and Philosophical Significance. Dordrecht: Kluwer Academic Publishers, 2000.
Παραπομπή MLAHendricks, Vincent F., Stig Andur Pedersen, and Klaus Frovin Jorgesen. Proof Theory: History and Philosophical Significance. Dordrecht: Kluwer Academic Publishers, 2000.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.