Perspectives in Logic

Chapter 5: Proof of the Second Main Theorem

Full-text: Open access

Chapter information

Source
Marian B. Pour-El, J. Ian Richards, Computability in Analysis and Physics (Berlin: Springer-Verlag, 1989), 149-191

Dates
First available in Project Euclid: 23 February 2009

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

Rights
Copyright © 1989, Association for Symbolic Logic

Citation

Pour-El, Marian B.; Richards, J. Ian. Chapter 5: Proof of the Second Main Theorem. Computability in Analysis and Physics, 149--191, Springer-Verlag, Berlin, 1989. https://projecteuclid.org/euclid.pl/1235422922


Export citation