A Theory of Positive Integers in Formal Logic. Part II
From MaRDI portal
Publication:4759410
DOI10.2307/2371199zbMath0011.24103OpenAlexW2325612495MaRDI QIDQ4759410
Publication date: 1935
Published in: American Journal of Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2371199
Related Items (8)
Semantics of quantum programming languages: Classical control, quantum control ⋮ The Mathematical Work of S.C.Kleene ⋮ Step by Recursive Step: Church's Analysis of Effective Calculability ⋮ On the number of unary-binary tree-like structures with restrictions on the unary height ⋮ The work of Kurt Gödel ⋮ A formulation of the simple theory of types ⋮ A system of axiomatic set theory—Part II ⋮ Unnamed Item
This page was built for publication: A Theory of Positive Integers in Formal Logic. Part II
