✦ LIBER ✦

A Note on Computable Functionalsby S. C. Kleene

✍ Scribed by Review by: G. Kreisel

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Countable Functionalsby S. C. Kleene;Rec

✍ Review by: Donald L. Kreider 📂 Article 📅 1962 🏛 Association for Symbolic Logic 🌐 English ⚖ 335 KB

A note on recursive functionsby S. C. Kl

✍ Review by: Alonzo Church 📂 Article 📅 1936 🏛 Association for Symbolic Logic 🌐 English ⚖ 173 KB

A Note on Function Quantificationby J. W

✍ Review by: Martin Davis 📂 Article 📅 1958 🏛 Association for Symbolic Logic 🌐 English ⚖ 350 KB

Turing-Machine Computable Functionals of

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

A Note on Computable Real Fields

✍ E. W. Madison 📂 Article 📅 1970 🏛 Association for Symbolic Logic 🌐 English ⚖ 298 KB

On the Intuitionistic Logicby S. C. Klee

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