scientific article; zbMATH DE number 856752

zbMATH Open0844.01010MaRDI QIDQ4869975FDOQ4869975

Authors: Roman Murawski 

Publication date: 13 August 1996

Title of this publication is not available (Why is that?)

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

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)

Cited In (6)

• Alfred Tarski and undecidable theories
• Title not available (Why is that?)
• E. L. Post and the development of logic
• Polish logic, language and philosophy of language
• Contribution of Polish logicians to predicate calculus
• 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)