Franks, Curtis The deduction theorem (before and after Herbrand). (English) Zbl 1512.03025 Hist. Philos. Log. 42, No. 2, 129-159 (2021). MSC: 03B10 03-03 01A60 PDFBibTeX XMLCite \textit{C. Franks}, Hist. Philos. Log. 42, No. 2, 129--159 (2021; Zbl 1512.03025) Full Text: DOI
Franks, Curtis The context of inference. (English) Zbl 1427.03015 Hist. Philos. Log. 39, No. 4, 365-395 (2018). MSC: 03A05 PDFBibTeX XMLCite \textit{C. Franks}, Hist. Philos. Log. 39, No. 4, 365--395 (2018; Zbl 1427.03015) Full Text: DOI