Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

Verlag

Sprache

47 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    The first-order logic of CZF is intuitionistic first-order logic
    Passmann, Robert
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    How strong is a Reinhardt set over extensions of CZF?
    Jeon, Hanul
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    CZF and Second Order Arithmetic
    Lubarsky, Robert
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    CZF does not have the Existence Property
    Swan, Andrew W
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Informe relatiu a l'estudi sobre la licitació dels terrenys fins ara ocupats per la Companyia Nissan, dins l'àmbit del Consorci de la Zona Franca de Barcelona, les característiques de la la licitació dels terrenys i les possibles opcions de Mercabarna en relació als mateixos ; Informe relatiu a l'estudi sobre la licitació dels terrenys, dins l'àmbit del CZF
    Mercabarna, S.A. ; Rangel Tarrés, Joan
    2022
    Online report
    Zugriff:
    Volltext
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Kripke models for subtheories of CZF
    Iemhoff, R.
    In: Logic Group Preprint Series, Jg. 276 (2009-06-01), S. 1
    Online report
    Zugriff:
    Volltext
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Citisave Financial Corp. (ASE: CZF)
    report
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Citizens Financial Services Inc (NAS: CZFS)
    report
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Interpretation of Inaccessible Sets in Martin-L\'{o}f Type Theory with One Mahlo Universe
    Takahashi, Yuta
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    The proof-theoretic strength of Constructive Second-order set theories
    Jeon, Hanul
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Constructive Ackermann's interpretation
    Jeon, Hanul
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    The independence of premise rule in intuitionistic set theories
    Nemoto, Takako ; Rathjen, Michael
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Equivalents of the finitary non-deterministic inductive definitions
    Hirata, Ayana ; Ishihara, Hajime ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Classifying the provably total set functions of KP and KP(P)
    Cook, Jacob ; Rathjen, Michael
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Higher-order Games with Dependent Types
    Escardó, Martín ; Oliva, Paulo
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Independence Results around Constructive ZF
    Lubarsky, Robert
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Constructing categories and setoids of setoids in type theory
    Palmgren, Erik ; Wilander, Olov
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Low-Complexity Transmission Mode Selection in MU-MIMO Systems
    Liu, Haijing ; Gao, Hui ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Very large set axioms over constructive set theories
    Jeon, Hanul ; Matthews, Richard
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Towards constructivising the Freyd-Mitchell embedding theorem
    Montaruli, Anna Giulia
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -