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
    Datensatz exportieren als...
  • BibTeX
Labelled deductive systems. 1
Labelled deductive systems (Alle Bände), ... : 33 (Alle Bände)
1996
Signatur: TCL4501-1
    Datensatz exportieren als...
  • BibTeX
Features and fluents : the representation of knowledge about dynamical systems. 1
Features and fluents (Alle Bände), Oxford logic guides : 30 (Alle Bände)
1994
Signatur: TIH4733-1
    Datensatz exportieren als...
  • BibTeX
Temporal logic : mathematical foundations and computational aspects. 1
Temporal logic (Alle Bände), ... : 28 (Alle Bände)
1994
Signatur: TCL4276-1
    Datensatz exportieren als...
  • BibTeX
Temporal logic : mathematical foundations and computational aspects. 2
Temporal logic (Alle Bände), Oxford logic guides : 40 (Alle Bände)
2000
Signatur: TCL4276-2
    Datensatz exportieren als...
  • BibTeX
Boolean valued models and independence proofs in set theory
Oxford logic guides : 4 (Alle Bände)
1977
Signatur: TCL2915
    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
The Boole-DeMorgan correspondance : 1842 - 1864
Oxford logic guides : 6 (Alle Bände), Oxford science publications
1982
Signatur: TAR1092
    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
An introduction to stability theory
Oxford logic guides : 8 (Alle Bände)
1983
Signatur: TCL3327
    Datensatz exportieren als...
  • BibTeX
Subrecursion : functions and hierarchies
Oxford logic guides : 9 (Alle Bände), Oxford science publications
1984
Signatur: TCL3408
    Datensatz exportieren als...
  • BibTeX
Cantorian set theory and limitation of size
Oxford logic guides : 10 (Alle Bände)
1984
Signatur: TCS2229
    Datensatz exportieren als...
  • BibTeX
Recursive aspects of descriptive set theory
Oxford logic guides : 11 (Alle Bände)
1985
Signatur: TCS2279
    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
Models of Peano arithmetic
Oxford logic guides : 15 (Alle Bände)
1991
Signatur: TCL3822
    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
Foundations without foundationalism : a case for second order logic
Oxford logic guides; 17 : 17 (Alle Bände)
1991
Signatur: TCL3898
    Datensatz exportieren als...
  • BibTeX
A study of logics
Oxford logic guides : 18 (Alle Bände)
1991
Signatur: TCK3314
    Datensatz exportieren als...
  • BibTeX
Gödel's incompleteness theorems
Oxford logic guides : 19 (Alle Bände)
1992
Signatur: TCL3945
    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
Recursion theory for metamathematics
Oxford logic guides : 22 (Alle Bände)
1993
Signatur: TCL4014
    Datensatz exportieren als...
  • BibTeX
Arithmetic, proof theory and computational complexity
Oxford logic guides : 23 (Alle Bände)
1993
Signatur: TAY901203
    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
Many valued logics
Oxford logic guides : 25 (Alle Bände), Oxford science publications
1993
Signatur: TCL4080
    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
1 – 25 von 32
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen