✦ LIBER ✦

Countable Functionalsby S. C. Kleene;Recursive Functionals of Higher Finite Typesby S. C. Kleene

✍ Scribed by Review by: Donald L. Kreider

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Recursive Functionals and Quantifiers of

✍ Review by: Thomas J. Grilliot 📂 Article 📅 1971 🏛 Association for Symbolic Logic 🌐 English ⚖ 235 KB

Recursive Functionals and Quantifiers of

✍ Review by: A. Nerode 📂 Article 📅 1962 🏛 Association for Symbolic Logic 🌐 English ⚖ 141 KB

Recursive Functions and Intuitionistic M

✍ Review by: Andrzej Mostowski 📂 Article 📅 1953 🏛 Association for Symbolic Logic 🌐 English ⚖ 354 KB

General Recursive Functions of Natural N

✍ Review by: Rózsa Péter 📂 Article 📅 1937 🏛 Association for Symbolic Logic 🌐 English ⚖ 190 KB

Turing-Machine Computable Functionals of

✍ Review by: D. A. Clarke 📂 Article 📅 1970 🏛 Association for Symbolic Logic 🌐 English ⚖ 362 KB

The Upper Semi-Lattice of Degrees of Rec

✍ Review by: Hartley Rogers, Jr. 📂 Article 📅 1956 🏛 Association for Symbolic Logic 🌐 English ⚖ 343 KB