Logic from Russell to Church

zbMATH Open1177.03001MaRDI QIDQ2433859FDOQ2433859

Authors:

Publication date: 31 October 2006

Published in: Handbook of the History of Logic (Search for Journal in Brave)

Recommendations

• scientific article; zbMATH DE number 51257
• scientific article; zbMATH DE number 647395
• scientific article; zbMATH DE number 5832443
• Philosophy of logic
• scientific article; zbMATH DE number 1549896

zbMATH Keywords

proof theorytruthFregeparadoxeslambda-calculusRussellHilbertself-referenceTarskiBrouwerGentzenMeinongPostSkolemChurchHeytingCurryHerbrandGödelLeśniewski

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00)

Cited In (5)

• Philosophy of logic
• Alonzo Church's Contributions to Philosophy and Intensional Logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Formal Discourse in Russell: From Metaphysics to Philosophical Logic

This page was built for publication: Logic from Russell to Church

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