Zum Inhalt springen

  2. Caicedo, Andrés Eduardo [HerausgeberIn]; Cummings, James [HerausgeberIn]; Koellner, Peter [HerausgeberIn]; Larson, Paul B. [HerausgeberIn]; Woodin, W. Hugh [GefeierteR] ; Conference in Honor of Hugh Woodin's 60th Birthday 2015 Cambridge, Mass

    Foundations of mathematics : logic at Harvard : essays in honor of W. Hugh Woodin's 60th birthday, March 27-29, 2015, Harvard University, Cambridge, MA

    Bücher
    Schließen

    Merkliste

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

    Providence, Rhode Island: American Mathematical Society, [2017]

    Erschienen in: Contemporary mathematics ; 690

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

  7. Boolos, George [VerfasserIn]; Burgess, John P. [VerfasserIn]; Jeffrey, Richard C. [VerfasserIn] ; Boolos, George S. [Sonstige Person, Familie und Körperschaft]

    Computability and logic - [4. ed., 1. publ.]

    Bücher
    Schließen

    Merkliste

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

    Cambridge [u.a.]: Cambridge Univ. Press, c 2002

  8. Kozen, Dexter [VerfasserIn]

    Automata and computability - [Corr. 3 print.]

    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; Berlin; Heidelberg [u.a.]: Springer, [1999]

    Erschienen in: Undergraduate texts in computer science

  9. Kozen, Dexter [VerfasserIn]

    Automata and computability

    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; Heidelberg [u.a.]: Springer, 1997

    Erschienen in: Undergraduate texts in computer science

  11. Boolos, George [VerfasserIn]; Jeffrey, Richard C. [VerfasserIn]

    Computability and logic - [3. ed., repr.]

    Bücher
    Schließen

    Merkliste

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

    Cambridge [u.a.]: Cambridge Univ. Pr., 1994

    Erschienen in: Open University set book

  12. Boolos, George [VerfasserIn]; Jeffrey, Richard C. [VerfasserIn]

    Computability and logic - [3. ed., repr.]

    Bücher
    Schließen

    Merkliste

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

    Cambridge [u.a.]: Cambridge Univ. Pr., 1990

    Erschienen in: Open University set book

  13. Cohen, Daniel E. [VerfasserIn]

    Computability and logic - [Repr.]

    Bücher
    Schließen

    Merkliste

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

    Chichester [u.a.]: Horwood [u.a.], 1989

    Erschienen in: Mathematics and its applications

  14. Boolos, George [VerfasserIn]; Jeffrey, Richard C. [VerfasserIn]

    Computability and logic - [3. ed.]

    Bücher
    Schließen

    Merkliste

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

    Cambridge; New York: Cambridge University Press, 1989

    Erschienen in: Open university set book

  16. Boolos, George [VerfasserIn]; Jeffrey, Richard C. [VerfasserIn]

    Computability and logic

    Bücher
    Schließen

    Merkliste

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

    London [u.a.]: Cambridge Univ. Pr., 1974

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

  20. Kfoury, Assaf J. [VerfasserIn]; Moll, Robert N. [VerfasserIn]; Arbib, Michael A. [VerfasserIn] ; Arbib, Michael Anthony [Sonstige Person, Familie und Körperschaft]

    A programming approach to computability

    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; Heidelberg [u.a.]: Springer, 1982

    Erschienen in: Texts and monographs in computer science ; The AKM series in theoretical computer science- Texts and monographs in computer science