Zum Inhalt springen

  1. Eršov, Jurij Leonidovič [HerausgeberIn]

    Handbook of recursive mathematics

    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.]: Elsevier, 19XX-

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

  2. 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

  3. Oberschelp, Arnold [VerfasserIn]

    Rekursionstheorie

    Bücher
    Schließen

    Merkliste

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

    Mannheim [u.a.]: BI-Wiss.-Verl., 1993

  4. 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 ; .

  5. 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

  6. 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. Eilenberg, Samuel [VerfasserIn]; Elgot, Calvin C. [VerfasserIn]

    Recursiveness

    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 [u.a.]: Acad. Pr., 1970

  8. Aberth, Oliver [VerfasserIn]

    Computable analysis

    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 [u.a.]: McGraw-Hill, 1980

    Erschienen in: Advanced book program

  9. Lüneburg, Heinz [VerfasserIn]

    Rekursive Funktionen

    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; New York; Barcelona; Hongkong; London; Mailand; Paris; Tokio: Springer, 2002

    Erschienen in: Springer-Lehrbuch

  10. Malʹcev, Anatolij I. [VerfasserIn] ; Mal'cev, Anatolij Ivanovic̆ [Sonstige Person, Familie und Körperschaft]

    Algorithmen und rekursive Funktionen

    Bücher
    Schließen

    Merkliste

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

    Berlin: Akademie-Verl., 1974