- Sprache
-
Deutsch
- Umfang
-
V, 279 S.
- ISBN
-
978-3-540-16448-7
- Identifier
-
860281558
- Reihe
-
Lecture notes in mathematics; Vol. 1182
Thema
Klassifikation ; Modelltheorie (Mathematik); Modelltheorie
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.04.2024, 08:47 MESZ
Objekttyp
- Monografie
Ähnliche Objekte (12)
Set theory and model theory : proceedings of an informal symposium, held at Bonn, June 1 - 3, 1979
Topological model theory
Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Log. to Algebra and Arithmet., held at Karpacz, Poland, September 1 - 7, 1979
Logic Year 1979 - 80 [nineteen hundred and seventy-nine to eighty] : The University of Connecticut, USA
Model theory and arithmetic : comptes rendus d'une action thémat. programmée du CNRS sur la théorie des modèles et arithmét., Paris, France, 1979/80
First order categorical logic : model-theoretical methods in the theory of topoi and related categories
Model theory and algebraic geometry : an introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture
Infinitary logic : in memoriam Carol Karp
The mathematics and physics of disordered media : percolation, random walk, modeling and simulation ; proceedings of a workshop held at the IMA, Univ. of Minnesota, Minneapolis, February 13 - 19, 1983
Vistas in applied mathematics : numerical analysis atmospheric sciences immunology
Newton to Aristotle : toward a theory of models for living systems
Mathematical models in physics and chemistry and numerical methods of their realization : proceedings of the seminar held in Visegrád, 1982
Set theory and model theory : proceedings of an informal symposium, held at Bonn, June 1 - 3, 1979
Topological model theory
Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Log. to Algebra and Arithmet., held at Karpacz, Poland, September 1 - 7, 1979
Logic Year 1979 - 80 [nineteen hundred and seventy-nine to eighty] : The University of Connecticut, USA
Model theory and arithmetic : comptes rendus d'une action thémat. programmée du CNRS sur la théorie des modèles et arithmét., Paris, France, 1979/80
First order categorical logic : model-theoretical methods in the theory of topoi and related categories
Model theory and algebraic geometry : an introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture
Infinitary logic : in memoriam Carol Karp
The mathematics and physics of disordered media : percolation, random walk, modeling and simulation ; proceedings of a workshop held at the IMA, Univ. of Minnesota, Minneapolis, February 13 - 19, 1983
Vistas in applied mathematics : numerical analysis atmospheric sciences immunology
Newton to Aristotle : toward a theory of models for living systems
Mathematical models in physics and chemistry and numerical methods of their realization : proceedings of the seminar held in Visegrád, 1982
Set theory and model theory : proceedings of an informal symposium, held at Bonn, June 1 - 3, 1979
Topological model theory
Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Log. to Algebra and Arithmet., held at Karpacz, Poland, September 1 - 7, 1979
Logic Year 1979 - 80 [nineteen hundred and seventy-nine to eighty] : The University of Connecticut, USA
Model theory and arithmetic : comptes rendus d'une action thémat. programmée du CNRS sur la théorie des modèles et arithmét., Paris, France, 1979/80
First order categorical logic : model-theoretical methods in the theory of topoi and related categories
Model theory and algebraic geometry : an introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture
Infinitary logic : in memoriam Carol Karp
The mathematics and physics of disordered media : percolation, random walk, modeling and simulation ; proceedings of a workshop held at the IMA, Univ. of Minnesota, Minneapolis, February 13 - 19, 1983
Vistas in applied mathematics : numerical analysis atmospheric sciences immunology
Newton to Aristotle : toward a theory of models for living systems