Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
9 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Verlag

Sprache

9 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC
    PASSMANN, ROBERT
    In: The Journal of Symbolic Logic ; page 1-23 ; ISSN 0022-4812 1943-5886, 2022
    academicJournal
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Kripke models for subtheories of CZF
    Iemhoff, Rosalie
    In: Archive for Mathematical Logic ; volume 49, issue 2, page 147-167 ; ISSN 0933-5846 1432-0665, 2009
    academicJournal
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    On some basic results by application of the CZF method.
    Conte, Sergio
    academicJournal
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY
    FRITTAION, EMANUELE
    In: The Journal of Symbolic Logic ; volume 88, issue 3, page 1138-1169 ; ISSN 0022-4812 1943-5886, 2022
    academicJournal
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Methods and Applications of Non-Linear Analysis in Neurology and Psycho-physiology
    Conte, Elio
    2012
    academicJournal
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    The disjunction and related properties for constructive Zermelo-Fraenkel set theory
    Rathjen, Michael
    In: Journal of Symbolic Logic ; volume 70, issue 4, page 1233-1254 ; ISSN 0022-4812 1943-5886, 2005
    academicJournal
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION
    RATHJEN, MICHAEL ; SWAN, ANDREW W.
    In: The Journal of Symbolic Logic ; volume 85, issue 4, page 1342-1375 ; ISSN 0022-4812 1943-5886, 2020
    academicJournal
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    A construction of non-well-founded sets within Martin-Löf's type theory
    Lindström, Ingrid
    In: Journal of Symbolic Logic ; volume 54, issue 1, page 57-64 ; ISSN 0022-4812 1943-5886, 1989
    academicJournal
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    On the existence of Stone-Čech compactification
    Curi, Giovanni
    In: The Journal of Symbolic Logic ; volume 75, issue 4, page 1137-1146 ; ISSN 0022-4812 1943-5886, 2010
    academicJournal
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -