Contributions to the reduction theory of the decision problem

DOI10.1007/BF02020736zbMath0045.00203OpenAlexW2122793549MaRDI QIDQ5808413

J. Suranyi

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/bf02020736

zbMATH Keywords

foundations, philosophy, logic

Cites Work

• Beiträge zum Entscheidungsproblem der mathematischen Logik
• Zum Entscheidungsproblem des logischen Funktionenkalküls
• A note on the Entscheidungsproblem
• On Computable Numbers, with an Application to the Entscheidungsproblem
• Ein Verfahren der mathematischen Logik
• 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