Sortiert nach
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...
    Datensatz exportieren als...
  • BibTeX
SOME APPLICATIONS OF THE MEYER-MCCREIGHT ALGORITHM IN ABSTRACT COMPLEXITY THEORY
AFDELING ZUIVERE WISKUNDE / MATHEMATISCH CENTRUM : ZW 79/76
1976
Signatur: TCL2402
    Datensatz exportieren als...
  • BibTeX
Proof theory and logical complexity. 1
Proof theory and logical complexity (Alle Bände), Studies in proof theory : Monographs : 1 (Alle Bände)
1987
Signatur: TCL4836-1
    Datensatz exportieren als...
  • BibTeX
Cardinal arithmetic
Oxford logic guides : 29 (Alle Bände)
1994
Signatur: TCL4307
    Datensatz exportieren als...
  • BibTeX
Model theory of fields
Lecture notes in logic : 5 (Alle Bände)
1996
Signatur: TCL4399
    Datensatz exportieren als...
  • BibTeX
Selected papers on automath
Studies in logic and the foundations of mathematics : 133 (Alle Bände)
1994
Signatur: TCL4200
    Datensatz exportieren als...
  • BibTeX
A general algebraic semantics for sentenial logics
Lecture notes in logic : 7 (Alle Bände)
1996
Signatur: TCL4519
    Datensatz exportieren als...
  • BibTeX
The classical decision problem
Perspectives in mathematical logic
1997
Signatur: TCL4543
    Datensatz exportieren als...
  • BibTeX
Fine structure and iteration trees
Lecture notes in logic : 3 (Alle Bände)
1994
Signatur: TCL4145
    Datensatz exportieren als...
  • BibTeX
Cornerstones of undecidability
Prentice Hall international series in computer science
1994
Signatur: TCL4187
    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
Labelled deductive systems. 1
Labelled deductive systems (Alle Bände), ... : 33 (Alle Bände)
1996
Signatur: TCL4501-1
    Datensatz exportieren als...
  • BibTeX
Geometric stability theory
Oxford logic guides : 32 (Alle Bände)
1996
Signatur: TCL4496
    Datensatz exportieren als...
  • BibTeX
The logical status of diagrams
1994
Signatur: TCL4284
    Datensatz exportieren als...
  • BibTeX
Formale Begriffsanalyse : mathematische Grundlagen
1996
Signatur: TCL4608
    Datensatz exportieren als...
  • BibTeX
Nonstandard logics and nonstandard metrics in physics
Series on knots and everything : 10 (Alle Bände)
1995
Signatur: TCL4331
    Datensatz exportieren als...
  • BibTeX
Model theory and its applications
Allyn and Bacon series in advanced mathematics
1972
Signatur: TCL1642
    Datensatz exportieren als...
  • BibTeX
Logico-philosophical studies
1962
Signatur: TCL1985
    Datensatz exportieren als...
  • BibTeX
Uncountably categorical theories
Translations of mathematical monographs : 117 (Alle Bände)
1993
Signatur: TCL4056
    Datensatz exportieren als...
  • BibTeX
Logic : mathematics, language, computer science, and philosophy. 2. Logic and computer science / by H. C. M. de Swart
Logic (Alle Bände)
1994
Signatur: TCL4268-2
    Datensatz exportieren als...
  • BibTeX
Diamond, a paradox logic
Series on knots and everything : 14 (Alle Bände)
1997
Signatur: TCL4585
    Datensatz exportieren als...
  • BibTeX
Admissibility of logical inference rules
Studies in logic and the foundation of mathematics : 136 (Alle Bände)
1997
Signatur: TCL4527
    Datensatz exportieren als...
  • BibTeX
Generalized recursion theory : proceedings of the ... Oslo Symposium
1974-
Signatur: TCL2119-...
    Datensatz exportieren als...
  • BibTeX
Generalized recursion theory : proceedings of the ... Oslo Symposium. 2. Proceedings of the 1977 Oslo symposium
Generalized recursion theory (Alle Bände), Studies in logic and the foundations of mathematics : 94 (Alle Bände)
1978
Signatur: TCL2119-2
    Datensatz exportieren als...
  • BibTeX
Gödel's proof
Rev. ed, 2001
Signatur: TCL2143-EN
1 – 25 von 354
Suche als RSS-Feed
Aktive Filter
SchlagwortAlgorithmus
Suchergebnisse filtern
Filter anzeigen