Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
    Datensatz exportieren als...
  • BibTeX
Oxford logic guides
1977-
    Datensatz exportieren als...
  • BibTeX
Category theory
Oxford logic guides : 52 (Alle Bände)
2. ed, 2010
Signatur: TCX2216(2)
    Datensatz exportieren als...
  • BibTeX
Groups of finite Morley rank
Oxford logic guides : 26 (Alle Bände)
1994
Signatur: TEP1640
    Datensatz exportieren als...
  • BibTeX
Diagonalization and self-reference
Oxford logic guides : 27 (Alle Bände), Oxford science publications
1994
Signatur: TCL4161
    Datensatz exportieren als...
  • BibTeX
Set theory and the continuum problem
Oxford logic guides : 34 (Alle Bände)
1996
Signatur: TCS2716
    Datensatz exportieren als...
  • BibTeX
Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995
Oxford logic guides : 36 (Alle Bände)
1998
Signatur: TAY950804
    Datensatz exportieren als...
  • BibTeX
Set theory with a universal set : exploring an untyped universe
Oxford logic guides : 31 (Alle Bände)
2. ed, 1995
Signatur: TCS2407(2)
    Datensatz exportieren als...
  • BibTeX
Cardinal arithmetic
Oxford logic guides : 29 (Alle Bände)
1994
Signatur: TCL4307
    Datensatz exportieren als...
  • BibTeX
Introduction to logic and to the methodology of the deductive sciences
Oxford logic guides : 24 (Alle Bände)
4. ed.: ed. by Jan Tarski, 1994
Signatur: TCK1427(4)-EN
    Datensatz exportieren als...
  • BibTeX
Model theory
Oxford logic guides : 37 (Alle Bände)
1999
Signatur: TCL4658
    Datensatz exportieren als...
  • BibTeX
Geometric stability theory
Oxford logic guides : 32 (Alle Bände)
1996
Signatur: TCL4496
    Datensatz exportieren als...
  • BibTeX
Many valued logics
Oxford logic guides : 25 (Alle Bände), Oxford science publications
1993
Signatur: TCL4080
    Datensatz exportieren als...
  • BibTeX
Gödel's incompleteness theorems
Oxford logic guides : 19 (Alle Bände)
1992
Signatur: TCL3945
    Datensatz exportieren als...
  • BibTeX
Recursion theory for metamathematics
Oxford logic guides : 22 (Alle Bände)
1993
Signatur: TCL4014
    Datensatz exportieren als...
  • BibTeX
Formal number theory and computability : a workbook
Oxford logic guides : 7 (Alle Bände), Oxford science publications
1982
Signatur: TCL3288
    Datensatz exportieren als...
  • BibTeX
Recursive aspects of descriptive set theory
Oxford logic guides : 11 (Alle Bände)
1985
Signatur: TCS2279
    Datensatz exportieren als...
  • BibTeX
An introduction to stability theory
Oxford logic guides : 8 (Alle Bände)
1983
Signatur: TCL3327
    Datensatz exportieren als...
  • BibTeX
Toposes and local set theories : an introduction
Oxford logic guides : 14 (Alle Bände)
1988
Signatur: TCX1870
    Datensatz exportieren als...
  • BibTeX
Classical propositional operators : an exercise in the foundations of logic
Oxford logic guides : 5 (Alle Bände), Oxford science publications
1982
Signatur: TCL3220
    Datensatz exportieren als...
  • BibTeX
Relative category theory and geometric morphisms : a logical approach
Oxford logic guides : 16 (Alle Bände)
1992
Signatur: TCL3903
    Datensatz exportieren als...
  • BibTeX
Elementary categories, elementary toposes
Oxford logic guides : 21 (Alle Bände), Oxford science publications
1992
Signatur: TCX1985
    Datensatz exportieren als...
  • BibTeX
A study of logics
Oxford logic guides : 18 (Alle Bände)
1991
Signatur: TCK3314
    Datensatz exportieren als...
  • BibTeX
Models of Peano arithmetic
Oxford logic guides : 15 (Alle Bände)
1991
Signatur: TCL3822
    Datensatz exportieren als...
  • BibTeX
Foundations without foundationalism : a case for second order logic
Oxford logic guides; 17 : 17 (Alle Bände)
1991
Signatur: TCL3898
    Datensatz exportieren als...
  • BibTeX
Subrecursion : functions and hierarchies
Oxford logic guides : 9 (Alle Bände), Oxford science publications
1984
Signatur: TCL3408
1 – 25 von 33
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen