𝔖 Bobbio Scriptorium

✦ LIBER ✦

Recursive Objects in all Finite Types.by A. Grzegorczyk;Combinatory Recursive Objects of all Finite Types.by Haskell B. Curry

✍ Scribed by Review by: Charles Parsons

Book ID: 124972806
Publisher: Association for Symbolic Logic
Year: 1974
Tongue: English
Weight: 211 KB
Volume: 39
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2272680

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Recursion in Objects of Finite Type.by G

Recursion in Objects of Finite Type.by Gerald E. Sacks

✍ Review by: D. A. Clarkehisao 📂 Article 📅 1974 🏛 Association for Symbolic Logic 🌐 English ⚖ 317 KB

Recursive Equivalence Typesby J. C. E. D

Recursive Equivalence Typesby J. C. E. Dekker; J. Myhill;Congruences in Isols with a Finite Modulusby J. C. E. Dekker;Recursive Equivalence Types and Combinatorial Functionsby J. Myhill;The Factorial Function for Isolsby J. C. E. Dekker;The Divisibility of Isols by Powers of Primesby J. C. E. Dekker; J. Myhill;An Expository Account of Isolsby J. C. E. Dekker

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