Perspectives in Logic

Chapter V: Metarecursive Enumerability

Full-text: Open access

Chapter information

Source
Gerald E. Sacks, Higher Recursion Theory (Berlin: Springer-Verlag, 1990), 115-134

Dates
First available in Project Euclid: 23 February 2009

Permanent link to this document
https://projecteuclid.org/euclid.pl/1235422637

Rights
Copyright © 1990, Association for Symbolic Logic

Citation

Sacks, Gerald E. Chapter V: Metarecursive Enumerability. Higher Recursion Theory, 115--134, Springer-Verlag, Berlin, 1990. https://projecteuclid.org/euclid.pl/1235422637


Export citation