scientific article; zbMATH DE number 517058

zbMath0815.03036MaRDI QIDQ4282586

Solomon Feferman

Publication date: 19 September 1994

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

zbMATH Keywords

intuitionistic logichistory of logicreductive proof theoryGödel's Dialectica interpretation

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Metamathematics of constructive systems (03F50)

Related Items

Human rationality challenges universal logic, Equivalence of bar induction and bar recursion for continuous functions with continuous moduli, Logical problems of functional interpretations, Markov's constructive analysis; a participant's view, Gödel and Intuitionism