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
Building models by games
London Mathematical Society student texts : 2 (Alle Bände)
1985
Signatur: TCL3393
    Datensatz exportieren als...
  • BibTeX
Model theoretic algebra : with particular emphasis on fields, rings, modules
Algebra, logic and applications : 2 (Alle Bände)
Authoriz. facs. of the orig. ed, 1989
Signatur: TDW3261
    Datensatz exportieren als...
  • BibTeX
An introduction to stability theory
Oxford logic guides : 8 (Alle Bände)
1983
Signatur: TCL3327
    Datensatz exportieren als...
  • BibTeX
Bounded variable logics and counting : a study in finite models
Lecture notes in logic : 9 (Alle Bände)
1997
Signatur: TCL4632
    Datensatz exportieren als...
  • BibTeX
Models of Peano arithmetic
Oxford logic guides : 15 (Alle Bände)
1991
Signatur: TCL3822
    Datensatz exportieren als...
  • BibTeX
Intensional and higher order modal logic : with applications to Montague semantics
North Holland mathematics studies : 19 (Alle Bände)
1975
Signatur: TCL2290
    Datensatz exportieren als...
  • BibTeX
Stability in model theory
Pitman monographs and surveys in pure and applied mathematics : 36 (Alle Bände)
1987
Signatur: TCL3602
    Datensatz exportieren als...
  • BibTeX
Model theory
Oxford logic guides : 37 (Alle Bände)
1999
Signatur: TCL4658
    Datensatz exportieren als...
  • BibTeX
Model theory, algebra, and geometry
Mathematical Sciences Research Institute publications : 39 (Alle Bände)
2000
Signatur: TCL4705
    Datensatz exportieren als...
  • BibTeX
Einführung in die mathematische Logik und Modelltheorie
Vieweg-Studium : 60 (Alle Bände)
1986
Signatur: TCL3490
    Datensatz exportieren als...
  • BibTeX
Model theory
Studies in logic and the foundations of mathematics : 73 (Alle Bände)
2. ed, 1977
Signatur: TCL2575(2)
    Datensatz exportieren als...
  • BibTeX
Large infinitary languages : model theory
Studies in logic and the foundations of mathematics : 83 (Alle Bände)
1975
Signatur: TCL2070
    Datensatz exportieren als...
  • BibTeX
Non-classical logics, model theory, and computability : proceedings of the Third Latin American Symposium on Mathematical Logic, Campinas, Brazil, July 11 - 17, 1976
Studies in logic and the foundations of mathematics : 89 (Alle Bände)
1977
Signatur: TCL2559
    Datensatz exportieren als...
  • BibTeX
Model theory for modal logic : Kripke models for modal predicate calculi
Synthese library : 127 (Alle Bände)
1979
Signatur: TCL2999
    Datensatz exportieren als...
  • BibTeX
Finite structures with few types
Annals of mathematics studies : 152 (Alle Bände)
2003
Signatur: TCL4747
    Datensatz exportieren als...
  • BibTeX
Model theory : an introduction
Graduate texts in mathematics : 217 (Alle Bände)
2002
Signatur: TCL4713
    Datensatz exportieren als...
  • BibTeX
Analysis and logic
London Mathematical Society lecture note series : 262 (Alle Bände)
2002
Signatur: TCL4755
    Datensatz exportieren als...
  • BibTeX
Closure spaces and logic
Mathematics and its applications : 369 (Alle Bände)
1996
Signatur: TCL4593
    Datensatz exportieren als...
  • BibTeX
Henkin Keisler models
Mathematics and its applications : 392 (Alle Bände)
1997
Signatur: TCL4551
    Datensatz exportieren als...
  • BibTeX
Topological model theory
Lecture notes in mathematics : 769 (Alle Bände)
1980
Signatur: TCL3034
    Datensatz exportieren als...
  • BibTeX
Around classification theory of models
Lecture notes in mathematics : 1182 (Alle Bände)
1986
Signatur: TCL3466
    Datensatz exportieren als...
  • BibTeX
Model theory in algebra, analysis and arithmetic : Cetraro, Italy 2012
Lecture notes in mathematics : 2111 (Alle Bände)
2014
Signatur: TAY120035
    Datensatz exportieren als...
  • BibTeX
Model-theoretic logics
Perspectives in mathematical logic
1985
Signatur: TCL3432
    Datensatz exportieren als...
  • BibTeX
Modelltheorie : eine Einführung in die mathematische Logik und Grundlagentheorie
Hochschultext
1972
Signatur: TCL2240
    Datensatz exportieren als...
  • BibTeX
Models and ultraproducts : an introduction
3., rev. print, 1974
Signatur: TCL2169
1 – 25 von 34
Suche als RSS-Feed
Aktive Filter
SchlagwortModelltheorie
Suchergebnisse filtern
Filter anzeigen