A Theory of Positive Integers in Formal Logic. Part I
From MaRDI portal
Publication:4760396
DOI10.2307/2372027zbMath0011.00202OpenAlexW4246081148WikidataQ56040843 ScholiaQ56040843MaRDI QIDQ4760396
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
Related Items (7)
Recursive Predicates and Quantifiers ⋮ Arithmetic based on the Church numerals in illative combinatory logic ⋮ Semantics of quantum programming languages: Classical control, quantum control ⋮ On the number of unary-binary tree-like structures with restrictions on the unary height ⋮ From Search to Computation: Redundancy Criteria and Simplification at Work ⋮ Alonzo church:his life, his work and some of his miracles ⋮ Recursively enumerable sets and degrees
This page was built for publication: A Theory of Positive Integers in Formal Logic. Part I
