scientific article; zbMATH DE number 856752

MaRDI QIDQ4869975zbMATH OpenFDO

Authors Roman Murawski

Publication date 13 August 1996

zbMATH Keywords

satisfiability decision problemtheory of well-ordering

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Decidability of theories and sets of sentences (03B25)

Recommendations

• Alfred Tarski and undecidable theories
• Alfred Tarski and decidable theories
• Contribution of Polish logicians to predicate calculus
• Tarski
• Logos and Máthēma. Studies in the philosophy of mathematics and history of logic

Cited in

(6)

• Polish logic, language and philosophy of language
• The contribution of Polish logicians to recursion theory
• E. L. Post and the development of logic
• Contribution of Polish logicians to predicate calculus
• Alfred Tarski and undecidable theories
• scientific article; zbMATH DE number 496220 (Why is no real title available?)

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 Q4869975)