Zum Inhalt springen

  1. Lawvere, Francis W. [Sonstige Person, Familie und Körperschaft]; Bucur, Ion [Sonstige Person, Familie und Körperschaft]; Lawvere, Francis W. [Herausgeber:in] ; Dalhousie University, Conference on Connections between Category Theory and Algebraic Geometry and Intuitionistic Logic 1971 Halifax, Nova Scotia

    Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971

    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.

    Berlin [u.a.]: Springer, 1972

    Erschienen in: Lecture notes in mathematics ; 274

  2. Makkai, Michael [Verfasser:in] ; Reyes, Gonzalo E. [Sonstige Person, Familie und Körperschaft]

    First Order Categorical Logic : Model-Theoretical Methods in the Theory of Topoi and Related Categories

    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.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1977

    Erschienen in: Lecture notes in mathematics ; 611

  3. Bucur, Ion [Verfasser:in] ; Giraud, J. [Sonstige Person, Familie und Körperschaft]; Goodman, N. [Sonstige Person, Familie und Körperschaft]; Myhill, J. [Sonstige Person, Familie und Körperschaft]; Illusie, Luc [Sonstige Person, Familie und Körperschaft]; Lambek, Joachim [Sonstige Person, Familie und Körperschaft]; Scott, D. S. [Sonstige Person, Familie und Körperschaft]; Tierney, Myles [Sonstige Person, Familie und Körperschaft]; Lawvere, Francis W. [Herausgeber:in]

    Toposes, Algebraic Geometry and Logic : Dalhousie University, Halifax, January 16–19, 1971

    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.

    Berlin, Heidelberg: Springer, 1972

    Erschienen in: Lecture notes in mathematics ; 274