𝔖 Bobbio Scriptorium

✦ LIBER ✦

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

✍ Scribed by Review by: D. A. Clarkehisao

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

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Recursive Objects in all Finite Types.by

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

✍ Review by: Charles Parsons 📂 Article 📅 1974 🏛 Association for Symbolic Logic 🌐 English ⚖ 211 KB

Measure-Theoretic Uniformity in Recursio

Measure-Theoretic Uniformity in Recursion Theory and Set Theory

✍ Gerald E. Sacks 📂 Article 📅 1969 🏛 American Mathematical Society 🌐 English ⚖ 827 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

On Predicates Expressible in the 1-Funct

On Predicates Expressible in the 1-Function Quantifier Forms in Kleene Hierarchy with Free Variables of Type 2by Tosiyuki Tugué;Predicates Recursive in a Type-2 Object and Kleene Hierarchiesby Tosiyuki Tugué

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

Notions of Realizability for Intuitionis

Notions of Realizability for Intuitionistic Arithmetic and Intuitionistic Arithmetic in all Finite Types.by A. S. Troelstra; J. E. Fenstad

✍ Review by: C. Smorynski 📂 Article 📅 1975 🏛 Association for Symbolic Logic 🌐 English ⚖ 85 KB

[Studies in Logic and the Foundations of

[Studies in Logic and the Foundations of Mathematics] Southeast Asian Conference on Logic - Proceedings of the Logic Conference Singapore, 1981 Volume 111 || On the Number of Countable Models

✍ Sacks, Gerald E. 📂 Article 📅 1983 🏛 Elsevier 🌐 English ⚖ 324 KB

Southeast Asian Conference on Logic