Zum Inhalt springen

  1. Odifreddi, Piergiorgio [VerfasserIn]

    Classical recursion theory

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Amsterdam [u.a.]: North-Holland, 1989-

    Erschienen in: Studies in logic and the foundations of mathematics ; .

  2. Sacks, Gerald E. [VerfasserIn]

    Higher recursion theory

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 1990

    Erschienen in: Perspectives in mathematical logic

  5. Fenstad, Jens E. [VerfasserIn]; Fenstad, Jens Erik [VerfasserIn]

    General recursion theory : an axiomatic approach

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 1980

    Erschienen in: Perspectives in mathematical logic

  7. Boolos, George [VerfasserIn]; Burgess, John P. [VerfasserIn]; Jeffrey, Richard C. [VerfasserIn]

    Computability and logic - [4. ed., Repr. with corr.]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cambridge: Cambridge Univ. Press, 2003

  13. Engeler, Erwin [VerfasserIn] ; Läuchli, Peter [Sonstige Person, Familie und Körperschaft]; Peikert, Ronald [Sonstige Person, Familie und Körperschaft]

    Berechnungstheorie für Informatiker : mit 34 Übungsaufgaben

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Stuttgart: Teubner, 1988

    Erschienen in: Leitfäden und Monographien der Informatik

  15. Soare, Robert I. [VerfasserIn]

    Turing computability : theory and applications

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg: Springer, [2016]

    Erschienen in: Theory and applications of computability

  17. Cooper, Stuart B. [VerfasserIn]; Gončarov, Sergej S. [VerfasserIn] ; Cooper, S. Barry [Sonstige Person, Familie und Körperschaft]; Goncharov, Sergey S. [Sonstige Person, Familie und Körperschaft]

    Computability and models : perspectives east and west

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    New York, NY [u.a.]: Kluwer/Plenum Publishers, c2003

    Erschienen in: The University series in mathematics

  19. Floyd, Robert W. [VerfasserIn]; Beigel, Richard [VerfasserIn]

    Die Sprache der Maschinen - [1. Aufl.]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Bonn [u.a.]: International Thomson Publ., 1996

    Erschienen in: Informatik Lehrbuch-Reihe