Zum Inhalt springen

  1. Archibald, Margaret [HerausgeberIn]; Brattka, Vasco [Sonstige Person, Familie und Körperschaft]; Goranko, Valentin F. [Sonstige Person, Familie und Körperschaft]; Löwe, Benedikt [Sonstige Person, Familie und Körperschaft] ; ILC 2007 Kapstadt

    Infinity in logic and computation : International Conference, ILC 2007, Cape Town, South Africa, November 3 - 5, 2007; revised selected papers

    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, 2009

    Erschienen in: Lecture notes in computer science ; 5489

  2. Hong, Don [VerfasserIn] ; Wang, JianZhong [Sonstige Person, Familie und Körperschaft]; Gardner, Robert B. [Sonstige Person, Familie und Körperschaft]

    Real analysis with an introduction to wavelets and applications

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Amsterdam; Boston: Elsevier Academic Press, 2005 ; Online-Ausg.

  3. Curry, Haskell B. [Sonstige Person, Familie und Körperschaft]; Hindley, J. Roger [Sonstige Person, Familie und Körperschaft]; Seldin, J. P. [Sonstige Person, Familie und Körperschaft]

    Combinatory logic / Volume II

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Amsterdam; London: North-Holland Pub. Co, 1972 ; Online-Ausg.

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

  4. BERTOLOCCI, Cristina Cavalli [VerfasserIn]

    MATHEMATICAL INFINITY INTERPRETED THROUGH GE-NETIC EPISTEMOLOGY

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    s.l.: Faculdade de Filosofia e Ciências, 2018-08-30

    Erschienen in: https://revistas.marilia.unesp.br/index.php/scheme/article/view/8177/5240

  5. Barwise, Jon [Sonstige Person, Familie und Körperschaft]; Keisler, H. Jerome [Sonstige Person, Familie und Körperschaft]

    Handbook of mathematical logic

    Bücher

    Amsterdam; New York: North-Holland Pub. Co, 2010 ; Online-Ausg.: [S.l.]: HathiTrust Digital Library

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

  6. León Delgado, Néstor [VerfasserIn] ; Teichner, Peter [MitwirkendeR]; Ballmann, Werner [MitwirkendeR]

    Lagrangian field theories: ind/pro-approach and L ∞ -algebra of local observables

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

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

    Universitäts- und Landesbibliothek Bonn, 2018-05-11

  7. Takeuti, Gaisi [Sonstige Person, Familie und Körperschaft]

    Proof theory

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Amsterdam; New York: North-Holland Pub. Co, 1975 ; Online-Ausg.

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

  8. Gabbay, Dov M. [HerausgeberIn]

    Handbook of the logic of argument and inference : the turn towards the practical - [1. ed.]

    Bücher

    Amsterdam [u.a.]: Elsevier, 2002

    Erschienen in: Studies in logic and practical reasoning ; 1