Lecture Notes in Logic

Chapter 14: Recursively Enumerable Relations

Full-text: Open access

Chapter information

Source
J. R. Shoenfield, Recursion Theory (Berlin: Springer-Verlag, 1993), 48-53

Dates
First available in Project Euclid: 23 February 2009

Permanent link to this document
https://projecteuclid.org/euclid.lnl/1235423988

Rights
Copyright © 1993, Association for Symbolic Logic

Citation

Shoenfield, J. R. Chapter 14: Recursively Enumerable Relations. Recursion Theory, 48--53, Springer-Verlag, Berlin, 1993. https://projecteuclid.org/euclid.lnl/1235423988


Export citation