Ein Verfahren der mathematischen Logik

DOI10.2307/2267610zbMath0018.38502OpenAlexW2132699442MaRDI QIDQ5769704

J. Pepis

Publication date: 1938

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2267610

zbMATH Keywords

Foundations, philosophy, logic

Related Items

On the Influence of Technology on Learning Processes, Step by Recursive Step: Church's Analysis of Effective Calculability, On the Amount of Nonconstructivity in Learning Recursive Functions, Contributions to the reduction theory of the decision problem, Contributions to the reduction theory of the decision problem, A Groupoid of Isomorphic Data Transformations, Contributions to the reduction theory of the decision problem

Cites Work

• Beiträge zum Entscheidungsproblem der mathematischen Logik
• Zum Entscheidungsproblem des logischen Funktionenkalküls