Recursive Functions and Intuitionistic Number Theory

DOI10.2307/1990222zbMath0041.35205OpenAlexW4256103477MaRDI QIDQ5802130

No author found.

Publication date: 1947

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

zbMATH Keywords

Philosophy and foundations of mathematics

Related Items (5)

V. Yankov’s Contributions to Propositional Logic ⋮ An Application of the Yankov Characteristic Formulas ⋮ On the Blok-Esakia Theorem ⋮ Some Lessons Learned About Adding Conditionals to Certain Many-Valued Logics ⋮ Randomising realizability

Cites Work

• A set of postulates for the foundation of logic
• Untersuchungen über das logische Schliessen. I
• Über den Zusammenhang der verschiedenen Begriffe der rekursiven Funktion
• General recursive functions of natural numbers
• An Unsolvable Problem of Elementary Number Theory
• On notation for ordinal numbers
• On the Forms of the Predicates in the Theory of Constructive Ordinals
• Recursive Predicates and Quantifiers
• On the interpretation of intuitionistic number theory
• Unnamed Item

This page was built for publication: Recursive Functions and Intuitionistic Number Theory