scientific article; zbMATH DE number 856752

zbMATH Open0844.01010MaRDI QIDQ4869975FDOQ4869975

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)

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

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)