Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
4 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

Schlagwort

Sprache

4 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    A generalized cut characterization of the fullness axiom in CZF
    Crosilla, L. ; Palmgren, E. ; et al.
    In: Logic Journal of IGPL ; volume 21, issue 1, page 63-76 ; ISSN 1367-0751 1368-9894, 2012
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Recombinant Mycobacterium bovis BCG is a promising platform to develop vaccines against Trypansoma cruzi infection
    Bontempi, I ; Leal, K ; et al.
    In: Clinical and Experimental Immunology ; volume 201, issue 3, page 306-316 ; ISSN 0009-9104 1365-2249, 2020
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Extensional realizability for intuitionistic set theory
    Frittaion, E ; Rathjen, M
    2020
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Extensional realizability for intuitionistic set theory
    Frittaion, Emanuele ; Rathjen, Michael ; et al.
    In: Journal of Logic and Computation ; volume 31, issue 2, page 630-653 ; ISSN 0955-792X 1465-363X, 2020
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -