scientific article; zbMATH DE number 3024905

zbMath0016.00201MaRDI QIDQ5765116

Stephen C. Kleene, Alonzo Church

Publication date: 1937

Full work available at URL: https://eudml.org/doc/212918

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Foundations, philosophy, logic

Related Items (14)

Recursive Predicates and Quantifiers ⋮ Ordinal arithmetic: Algorithms and mechanization ⋮ Zur Theorie der konstruktiven Wohlordnungen ⋮ Hierarchies of number-theoretic functions. I ⋮ Hierarchies of number-theoretic predicates ⋮ Natural well-orderings ⋮ A mechanical analysis of program verification strategies ⋮ Why Post Did [Not Have Turing’s Thesis] ⋮ On Hierarchies and Systems of Notations ⋮ Efficient linear orders ⋮ Recursive nets ⋮ Turing oracle machines, online computing, and three displacements in computability theory ⋮ Recursive and Recursively Enumerable Orders ⋮ Constructive Versions of Ordinal Number Classes

This page was built for publication: