Russell's completeness proof

DOI10.1080/01445340701414295MaRDI QIDQ3498573zbMATH OpenOpenAlexWikidataFDO

Authors Peter Milne

Publication date 15 May 2008

Published in History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/01445340701414295

zbMATH Keywords

Bertrand RussellcompletenessEdward V. HuntingtonOswald VeblenPrincipia Mathematicapropositional logic

Mathematics Subject Classification ID

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

Recommendations

• Logic in Russell's Principles of Mathematics
• scientific article; zbMATH DE number 1748963
• Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic
• A proof of completeness of the two-valued propositional calculus
• Bertrand russell's logical manuscripts: an apprehensive brief

Cited in

(1)

• Logic in Russell's Principles of Mathematics

Describes a project that uses

Uses Software

• Mathematica

This page was built for publication: Russell's completeness proof

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