๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Recursion Theory and Formal Deducibility

โœ Scribed by E. M. Kleinberg


Book ID
124972032
Publisher
Association for Symbolic Logic
Year
1970
Tongue
English
Weight
341 KB
Volume
35
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Difference Sets and Recursion Theory
โœ James H. Schmerl ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 411 KB

recursively enumerable set but which is not the difference set of any recursive set.

Recursion Theory and Dedekind Cuts
โœ Robert I. Soare ๐Ÿ“‚ Article ๐Ÿ“… 1969 ๐Ÿ› American Mathematical Society ๐ŸŒ English โš– 540 KB
Models for Recursion Theory
โœ Johan Moldestad and Dag Normann ๐Ÿ“‚ Article ๐Ÿ“… 1976 ๐Ÿ› Association for Symbolic Logic ๐ŸŒ English โš– 249 KB