scientific article; zbMATH DE number 7117706

MaRDI QIDQ5236405zbMATH OpenFDO

Authors Solomon Feferman

Publication date 15 October 2019

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03) Proof theory in general (including proof-theoretic semantics) (03F03) Functionals in proof theory (03F10)

Recommendations

• The prospects for mathematical logic in the twenty-first century
• Preface
• Logic, philosophy of mathematics, and their history. Essays in honor of W. W. Tait
• The contributions of Alfred Tarski to algebraic logic
• scientific article; zbMATH DE number 5920144
• scientific article; zbMATH DE number 4125357
• Trends in logic. 50 years of Studia Logica
• scientific article; zbMATH DE number 1343457
• scientific article; zbMATH DE number 2078138
• A brief history of Tarskian algebraic logic with new perspectives and innovations

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5236405)