A Theory of Positive Integers in Formal Logic. Part II

DOI10.2307/2371199zbMath0011.24103OpenAlexW2325612495MaRDI QIDQ4759410

Stephen C. 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/2371199

zbMATH Keywords

foundations, philosophy, logic

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