Recursive Functions and Intuitionistic Number Theory

DOI10.2307/1990222zbMath0058.24901OpenAlexW4256103477MaRDI QIDQ5833219

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 (6)

Propositional Calculus and Realizability ⋮ A classical view of the intuitionistic continuum ⋮ Intuitionism and effective descriptive set theory ⋮ Analyzing realizability by Troelstra's methods ⋮ A survey of predicate realizability logic ⋮ A proof description language and its reduction system

Cites Work

• Unnamed Item
• 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

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