Lecture Notes in Logic

Chapter 11: Undecidable Theories

Full-text: Open access

Chapter information

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

Dates
First available: 23 February 2009

Permanent link to this document
http://projecteuclid.org/euclid.lnl/1235423985

Citation

Shoenfield, J. R. Chapter 11: Undecidable Theories. Recursion Theory, 32--39, Springer-Verlag, Berlin, 1993. http://projecteuclid.org/euclid.lnl/1235423985.


Export citation