Mainzer, Klaus From mathesis universalis to provability, computability, and constructivity. (English) Zbl 1469.03113 Centrone, Stefania (ed.) et al., Mathesis universalis, computability and proof. Based on the Humboldt-Kolleg “Proof theory as mathesis universalis”, held at the German-Italian Centre for European Excellence, Villa Vigoni, Loveno di Menaggio, Como, Italy, July 24–28, 2017. Cham: Springer. Synth. Libr. 412, 203-234 (2019). MSC: 03D10 03D35 03F35 03F60 03B30 03F25 68V15 03B38 55U40 × Cite Format Result Cite Review PDF Full Text: DOI
Crosilla, Laura Predicativity and Feferman. (English) Zbl 1429.03019 Jäger, Gerhard (ed.) et al., Feferman on foundations. Logic, mathematics, philosophy. Cham: Springer. Outst. Contrib. Log. 13, 423-447 (2017). MSC: 03A05 00A30 × Cite Format Result Cite Review PDF Full Text: DOI Link
Anellis, Irving H. Jean van Heijenoort’s contributions to proof theory and its history. (English) Zbl 1272.03001 Log. Univers. 6, No. 3-4, 411-458 (2012). Reviewer: M. Yasuhara (Princeton) MSC: 03-03 01A60 03C30 × Cite Format Result Cite Review PDF Full Text: DOI Euclid
Macintyre, Angus The mathematical significance of proof theory. (English) Zbl 1152.03307 Philos. Trans. R. Soc. Lond., Ser. A, Math. Phys. Eng. Sci. 363, No. 1835, 2419-2435 (2005). MSC: 03A05 00A35 03-03 03B35 × Cite Format Result Cite Review PDF Full Text: DOI