✦ LIBER ✦

Selection Functions for Recursive Functionals.by Thomas J. Grilliot

✍ Scribed by Review by: D. A. Clarke

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Omitting Types: Application to Recursion

✍ Review by: Wayne Richter 📂 Article 📅 1975 🏛 Association for Symbolic Logic 🌐 English ⚖ 106 KB

Primitive recursive selection functions

✍ Thomas Strahm; Jeffery Zucker 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 253 KB

Inductive Definitions and Computability.

✍ Review by: Gregory W. Jones 📂 Article 📅 1973 🏛 Association for Symbolic Logic 🌐 English ⚖ 90 KB

Computability: An Introduction to Recurs

✍ Review by: Carl H. Smith 📂 Article 📅 1982 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 75 KB

On the Economy of Plant Form and Functio

✍ Review by: J. E. Dale 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 380 KB

Splinters of Recursive Functions

✍ J. S. Ullian 📂 Article 📅 1960 🏛 Association for Symbolic Logic 🌐 English ⚖ 622 KB