scientific article; zbMATH DE number 1867332

zbMath1013.03068MaRDI QIDQ4793426

Solomon Feferman

Publication date: 11 February 2003

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

surveyproof theory

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items

A simple proof of Parsons' theorem