A Theory of Positive Integers in Formal Logic. Part I

DOI10.2307/2372027zbMATH Open0011.00202OpenAlexW4246081148WikidataQ56040843 ScholiaQ56040843MaRDI QIDQ4760396FDOQ4760396

Authors: Stephen Cole Kleene 

Publication date: 1935

Published in: American Journal of Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cited In (8)

• Arithmetic based on the Church numerals in illative combinatory logic
• Recursive Predicates and Quantifiers
• Semantics of quantum programming languages: Classical control, quantum control
• Retracing some paths in categorical semantics: from process-propositions-as-types to categorified reals and computers
• Recursively enumerable sets and degrees
• From search to computation: redundancy criteria and simplification at work
• Alonzo church:his life, his work and some of his miracles
• On the number of unary-binary tree-like structures with restrictions on the unary height

This page was built for publication: A Theory of Positive Integers in Formal Logic. Part I

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4760396)