Zum Inhalt springen

  5. Chollet, Agathe [VerfasserIn] ; La Rochelle [MitwirkendeR]; Wallet, Guy [MitwirkendeR]; Andres, Éric [MitwirkendeR]

    Formalismes non classiques pour le traitement informatique de la topologie et de la géométrie discrète ; Non classical formalisms for the computing treatment of the topoligy and the discrete geometry

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    theses.fr, 2010-12-07

  6. Troelstra, Anne S. [Sonstige Person, Familie und Körperschaft]; Dalen, Dirk van [Sonstige Person, Familie und Körperschaft]

    Constructivism in mathematics : Volume 1 ; an introduction

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Amsterdam: North-Holland, 1988

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

  13. Shapiro, Stewart [Sonstige Person, Familie und Körperschaft]

    Intentional mathematics

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Amsterdam; New York; New YorK, N.Y., U.S.A: North-Holland, 1985 ; Amsterdam; New York: North-Holland, 1985

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

  15. Berardi, Stefano [VerfasserIn]; Buriola, Gabriele [VerfasserIn]; Schuster, Peter [VerfasserIn] ; Stefano Berardi and Gabriele Buriola and Peter Schuster [MitwirkendeR]

    A General Constructive Form of Higman’s Lemma

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024

  17. Dybjer, Peter [VerfasserIn]; Espírito Santo, José [VerfasserIn]; Pinto, Luís [VerfasserIn] ; Peter Dybjer and José Espírito Santo and Luís Pinto [MitwirkendeR]

    LIPIcs, Volume 130, TYPES'18, Complete Volume

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019

  18. Booij, Auke B. [VerfasserIn]; Escardó, Martín H. [VerfasserIn]; Lumsdaine, Peter LeFanu [VerfasserIn]; Shulman, Michael [VerfasserIn] ; Auke B. Booij and Martín H. Escardó and Peter LeFanu Lumsdaine and Michael Shulman [MitwirkendeR]

    Parametricity, Automorphisms of the Universe, and Excluded Middle

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018

  19. Bauer, Andrej [VerfasserIn]; Hertling, Peter [VerfasserIn]; Ko, Ker-I [VerfasserIn] ; Andrej Bauer and Peter Hertling and Ker-I Ko [MitwirkendeR]

    CCA 2009 Front Matter - Proceedings of the Sixth International Conference on Computability and Complexity in Analysis

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2009