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.Volume:
38
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2271754
Date:
March, 1973
File:
PDF, 338 KB
english, 1973