Zum Inhalt springen

  6. Cohen, Liron [VerfasserIn]; Rahli, Vincent [VerfasserIn] ; Liron Cohen and Vincent Rahli [MitwirkendeR]

    Constructing Unprejudiced Extensional Type Theories with Choices via Modalities

    Aufsätze
    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.

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

  10. Bickford, Mark [VerfasserIn]; Cohen, Liron [VerfasserIn]; Constable, Robert L. [VerfasserIn]; Rahli, Vincent [VerfasserIn] ; Mark Bickford and Liron Cohen and Robert L. Constable and Vincent Rahli [MitwirkendeR]

    Open Bar - a Brouwerian Intuitionistic Logic with a Pinch of Excluded Middle

    Aufsätze
    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.

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

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

  13. Kleene, Stephen Cole [Sonstige Person, Familie und Körperschaft]; Barwise, Jon [Sonstige Person, Familie und Körperschaft]; Keisler, H. Jerome [Sonstige Person, Familie und Körperschaft]; Kunen, Kenneth [Sonstige Person, Familie und Körperschaft] ; Kleene Symposium, ScienceDirect (Online service)

    The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A

    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: North-Holland Pub. Co, 1980 ; New York: Sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980 ; Online-Ausg.: 2009

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

  14. Troelstra, Anne S. [HerausgeberIn]; Dalen, Dirk van [Sonstige Person, Familie und Körperschaft]; Brouwer, Luitzen E. J. [GefeierteR] ; L. E. J. Brouwer Centenary Symposium Noordwijkerhout

    The L. E. J. Brouwer Centenary Symposium : proceedings of the conference, held in Noordwijkerhout, 8 - 13 june, 1981

    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 [u.a.]: North-Holland Publ. Comp., 1982

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

  15. Heyting, A. [Sonstige Person, Familie und Körperschaft] ; ScienceDirect (Online service)

    Intuitionism : an introduction - [2nd ed.]

    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, 1966 ; Online-Ausg.

    Erschienen in: Studies in Logic and the Foundations of Mathematics ; v. 41

  16. Heyting, Arend [Sonstige Person, Familie und Körperschaft] ; ScienceDirect (Online service)

    Intuitionism : 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, 1956 ; Online-Ausg.: 2010

    Erschienen in: Studies in Logic and the Foundations of Mathematics ; v. 17

  17. Grigoleit, Hans Christoph [VerfasserIn]

    Subjectivism, objectivism, and intuitionism in legal reasoning : avoiding the pseudos

    Aufsätze
    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.

    2022

    Erschienen in: Young Scholars Conference "The Law between Objectivity and Power" (2020 : München): The law between objectivity and power ; (2022), Seite 101-109

  19. Usadi Katz, Karin [VerfasserIn]; Katz, Mikhail Gersh [VerfasserIn]

    Meaning in Classical Mathematics: is it at odds with Intuitionism?

    Aufsätze
    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.

    Erschienen in: Intellectica. Revue de l'Association pour la Recherche Cognitive ; Vol. 56, n° 2, pp. 223-302

  20. Troelstra, Anne S. [VerfasserIn]

    Principles of Intuitionism : Lectures presented at the summer conference on Intuitionism and Proof theory (1968) at SUNY at Buffalo, N.Y

    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.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1969

    Erschienen in: Lecture notes in mathematics ; 95