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
Around classification theory of models
Lecture notes in mathematics : 1182 (Alle Bände)
1986
Signatur: TCL3466
    Datensatz exportieren als...
  • BibTeX
An introduction to stability theory
Oxford logic guides : 8 (Alle Bände)
1983
Signatur: TCL3327
    Datensatz exportieren als...
  • BibTeX
Model-theoretic logics
Perspectives in mathematical logic
1985
Signatur: TCL3432
    Datensatz exportieren als...
  • BibTeX
Building models by games
London Mathematical Society student texts : 2 (Alle Bände)
1985
Signatur: TCL3393
    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
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
Topological model theory
Lecture notes in mathematics : 769 (Alle Bände)
1980
Signatur: TCL3034
    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
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
    Datensatz exportieren als...
  • BibTeX
Einführung in die Modelltheorie und ihre Anwendungen
Die Mathematik
1981
Signatur: TCL3131
    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
Fundamentals of stability theory
Perspectives in mathematical logic
1988
Signatur: TCL3628
    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
A course in model theory : an introduction to contemporary mathematical logic
Universitext
2000
Signatur: TCL4666
    Datensatz exportieren als...
  • BibTeX
Closure spaces and logic
Mathematics and its applications : 369 (Alle Bände)
1996
Signatur: TCL4593
    Datensatz exportieren als...
  • BibTeX
Finite model theory
Perspectives in mathematical logic
2., rev. and enl. ed, 1999
Signatur: TCL4315(2)
    Datensatz exportieren als...
  • BibTeX
A shorter model theory
1997
Signatur: TCL4569
    Datensatz exportieren als...
  • BibTeX
Finite structures with few types
Annals of mathematics studies : 152 (Alle Bände)
2003
Signatur: TCL4747
    Datensatz exportieren als...
  • BibTeX
Essential stability theory
Perspectives in mathematical logic
1996
Signatur: TCL4470
    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
Henkin Keisler models
Mathematics and its applications : 392 (Alle Bände)
1997
Signatur: TCL4551
    Datensatz exportieren als...
  • BibTeX
Einführung in die Modelltheorie : Vorlesungen
Spektrum-Lehrbuch
1995
Signatur: TCL4323
    Datensatz exportieren als...
  • BibTeX
Finite model theory
Perspectives in mathematical logic
1995
Signatur: TCL4315
    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
1 – 25 von 33
Suche als RSS-Feed
Aktive Filter
SchlagwortAlgebraischer Körper
SchlagwortModelltheorie
Suchergebnisse filtern
Filter anzeigen