Pages that link to "Item:Q1839846"
From MaRDI portal
The following pages link to A set of postulates for the foundation of logic. II (Q1839846):
Displaying 30 items.
- Platitudes in mathematics (Q514596) (← links)
- The search for a reduction in combinatory logic equivalent to \(\alpha\beta\)-reduction (Q654911) (← links)
- A synthetic axiomatization of map theory (Q906269) (← links)
- On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory (Q1120558) (← links)
- Enlargements of functional algebras for the lambda calculus (Q1129261) (← links)
- Sixty years after Gödel (Q1178182) (← links)
- A global representation of the recursive functions in the \(\lambda\)- calculus (Q1245931) (← links)
- Developing developments (Q1392147) (← links)
- Revisiting the notion of function (Q1394989) (← links)
- From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models (Q1583485) (← links)
- A computable expression of closure to efficient causation (Q1617623) (← links)
- Gödel on deduction (Q2631643) (← links)
- Homotopy type theory and Voevodsky’s univalent foundations (Q2933829) (← links)
- When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science (Q2963950) (← links)
- A Vindication of Program Verification (Q2963953) (← links)
- Ein Typenfreies System der Logik mit Ausreichender Mathematischer Anwendungsfähigkeit I (Q3255342) (← links)
- The Operational Perspective: Three Routes (Q3305557) (← links)
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 (Q3616431) (← links)
- The theory of recursive functions, approaching its centennial (Q3946156) (← links)
- Alonzo Church's Contributions to Philosophy and Intensional Logic (Q4212933) (← links)
- Step by Recursive Step: Church's Analysis of Effective Calculability (Q4359525) (← links)
- Is Universal Computation a Myth? (Q4686642) (← links)
- Computation and Indispensability (Q5013616) (← links)
- Hilbert’s Axiomatisches Denken (Q5057047) (← links)
- (Q5119396) (← links)
- The Operational Penumbra: Some Ontological Aspects (Q5214788) (← links)
- HYPERCOMPUTATION: FANTASY OR REALITY? A POSITION PAPER (Q5408360) (← links)
- Combinatory recursive objects of all finite types (Q5554973) (← links)
- Probleme der Hilbertschen Theorie der höheren Stufen von rekursiven Funktionen (Q5808416) (← links)
- Parallel graph rewriting on loosely coupled machine architectures (Q5881294) (← links)
