𝔖 Bobbio Scriptorium

✦ LIBER ✦

Recursive Enumeration of Some Classes of Primitive Recursive Functions and a Majorisation Theorem.by Th. Skolem

✍ Scribed by Review by: H. E. Rose

Book ID: 124973077
Publisher: Association for Symbolic Logic
Year: 1973
Tongue: English
Weight: 89 KB
Volume: 38
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2273073

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Recursively Enumerable Classes and Their

Recursively Enumerable Classes and Their Application to Recursive Sequences of Formal Theories.by Marian Boykan Pour-El; Hilary Putnam;A Structural Criterion for Recursive Enumeration Without Repetition.by Marian Boykan Pour-El; William A. Howard;On Recursive Enumeration without Repetition.by A. H. Lachlan;On Recursive Enumeration without Repetition: a Correction.by A. H. Lachlan

✍ Review by: James C. Owings, Jr. 📂 Article 📅 1973 🏛 Association for Symbolic Logic 🌐 English ⚖ 338 KB

On Creative Sets and Indices of Partial

On Creative Sets and Indices of Partial Recursive Functions.by Louise Hay;Isomorphism Types of Index Sets of Partial Recursive Functions.by Louise Hay;Index Sets of Finite Classes of Recursively Enumerable Sets.by Louise Hay

✍ Review by: Forbes D. Lewis 📂 Article 📅 1974 🏛 Association for Symbolic Logic 🌐 English ⚖ 354 KB

A recursive family of differential polyn

A recursive family of differential polynomials generated by the sylvester identity and addition theorems for hyperelliptic Kleinian functions

✍ V. M. Buchstaber; V. Z. Enolskii; D. V. Leykin 📂 Article 📅 1997 🏛 Springer US 🌐 English ⚖ 757 KB

Pseudo-Complements and ordinnal Logics b

Pseudo-Complements and ordinnal Logics based on consistency statements.by Robert A. DiPaola;Some properties of pseudo-complements of recursively enumerable sets.by Robert A. DiPaola

✍ Review by: J. R. Shoenfield 📂 Article 📅 1972 🏛 Association for Symbolic Logic 🌐 English ⚖ 134 KB

Mathematical Methods of the Theory of St

Mathematical Methods of the Theory of Stochastic Automata.by A. Bertoni; A. Blikle;Functions Computable in the Limit by Probabilistic Machines.by R. V. Freivald;Some Properties of Limit Recursive Functions.by B. Goetze; R. Klette;An Approach to Correctness Proofs of Semicoroutines.by Ole-Johan Dahl;The axiomatization Problem of a Theory of Linear Languages.by G. Wechsung;Modular Approach to the Logical Theory of Programs.by L. Banachowski;Mathematical Foundations of Motivation Languages and Synthesis Maps.by Pierangelo Miglioli;ω+-Valued Algorithmic Logic as a Tool to Investigate Procedures.by H. Rasiowa;Procedures, formal Computations and Models.by Andrzej Salwicki

✍ Review by: Steven S. Muchnick 📂 Article 📅 1977 🏛 Association for Symbolic Logic 🌐 English ⚖ 98 KB