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
Large infinitary languages : model theory
Studies in logic and the foundations of mathematics : 83 (Alle Bände)
1975
Signatur: TCL2070
    Datensatz exportieren als...
  • BibTeX
Models and ultraproducts : an introduction
3., rev. print, 1974
Signatur: TCL2169
    Datensatz exportieren als...
  • BibTeX
Beginning model theory : the completeness theorem and some consequences
OXFORD LOGIC GUIDES
1977
Signatur: TCL2567
    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
Henkin Keisler models
Mathematics and its applications : 392 (Alle Bände)
1997
Signatur: TCL4551
    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
Modelltheorie : eine Einführung in die mathematische Logik und Grundlagentheorie
Hochschultext
1972
Signatur: TCL2240
    Datensatz exportieren als...
  • BibTeX
Closure spaces and logic
Mathematics and its applications : 369 (Alle Bände)
1996
Signatur: TCL4593
    Datensatz exportieren als...
  • BibTeX
Model theory
Oxford logic guides : 37 (Alle Bände)
1999
Signatur: TCL4658
    Datensatz exportieren als...
  • BibTeX
Model theory : an introduction
Graduate texts in mathematics : 217 (Alle Bände)
2002
Signatur: TCL4713
    Datensatz exportieren als...
  • BibTeX
Building models by games
London Mathematical Society student texts : 2 (Alle Bände)
1985
Signatur: TCL3393
    Datensatz exportieren als...
  • BibTeX
Topological model theory
Lecture notes in mathematics : 769 (Alle Bände)
1980
Signatur: TCL3034
    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
Finite model theory
Perspectives in mathematical logic
1995
Signatur: TCL4315
    Datensatz exportieren als...
  • BibTeX
A course in model theory : an introduction to contemporary mathematical logic
Universitext
2000
Signatur: TCL4666
    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
2., rev. and enl. ed, 1999
Signatur: TCL4315(2)
    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 theory, algebra, and geometry
Mathematical Sciences Research Institute publications : 39 (Alle Bände)
2000
Signatur: TCL4705
    Datensatz exportieren als...
  • BibTeX
Model-theoretic logics
Perspectives in mathematical logic
1985
Signatur: TCL3432
    Datensatz exportieren als...
  • BibTeX
An introduction to stability theory
Oxford logic guides : 8 (Alle Bände)
1983
Signatur: TCL3327
    Datensatz exportieren als...
  • BibTeX
Fundamentals of stability theory
Perspectives in mathematical logic
1988
Signatur: TCL3628
    Datensatz exportieren als...
  • BibTeX
Finite structures with few types
Annals of mathematics studies : 152 (Alle Bände)
2003
Signatur: TCL4747
    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
A shorter model theory
1997
Signatur: TCL4569
1 – 25 von 34
Suche als RSS-Feed
Aktive Filter
SchlagwortModelltheorie
Suchergebnisse filtern
Filter anzeigen