Contributions to the reduction theory of the decision problem

DOI10.1007/BF02113896zbMath0044.00301OpenAlexW3011188092MaRDI QIDQ5806807

L. Kalmár

Publication date: 1951

Published in: Acta Mathematica Academiae Scientiarum Hungaricae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02113896

zbMATH Keywords

philosophy and foundations of mathematics

Cites Work

• Beiträge zum Entscheidungsproblem der mathematischen Logik
• Zum Entscheidungsproblem des logischen Funktionenkalküls
• A note on the Entscheidungsproblem
• On the reduction of the decision problem. First paper. Ackermann prefix, a single binary predicate
• On the reduction of the decision problem
• Contributions to the reduction theory of the decision problem

This page was built for publication: Contributions to the reduction theory of the decision problem