Berechenbarkeitstheorie

Literatur

[BJ ] G.Boolos & R. Jeffrey Computability and Logic, Cambridge University Press, 1989.

[C ] N.J. Cutland Computability: an introduction to recursive function theory, Cambridge University Press, Cambridge 1980.

[DSW ] M. Davis, R.Sigal & E.Weyuker Computability,Complexity, and Languages: Fundamentals of Theoretical Computer Science, 2nd edition, Academic Press, New York, 1994.

[R ] H. Rogers, Jr. The Theory of Recursive Functions and Effective Computability M.I.T. Press, Boston, 1987.

[S ] J.Shoenfield Recursion Theory Lecture Notes in Logic, vol. 1, A. K. Peters, 2001.

[Si ] M. Sipser Introduction to the Theory of Computation PWS Publishing, 1997.

Vier Bücher auf deutsch:

[F ] W. Felscher, Berechenbarkeit : rekursive und programmierbare Funktionen, Berlin, [u.a.] : Springer, 1993, Springer-Lehrbuch.

[H ] H.Hermes Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen, Berlin [u.a.] : Springer, 1961, Die Grundlehren der mathematischen Wissenschaften.

[O ] A.Oberschelp, Rekursionstheorie, Mannheim [u.a.] : B.I. Wiss.- Verl., 1993.

[P ] W.Pohlers, Mathematische Grundlagen der Informatikers, Oldenburg, München, 1993.

(Die letzte Zwei sind nicht mehr erhältlich.)