- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540909361
3540909362
9780387909363
0387909362
- Maße
-
25 cm
- Umfang
-
XVIII, 893 S.
- Sprache
-
Englisch
- Anmerkungen
-
3 graph. Darst.
Literaturverz. S. 793 - 893
- Schlagwort
-
Modelltheorie
Modelltheorie (Mathematik)
Modelltheorie
- Ereignis
-
Veröffentlichung
- (wo)
-
New York, Berlin, Heidelberg, Tokyo
- (wer)
-
Springer
- (wann)
-
1985
- Urheber
- Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 12:28 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Baldwin, John T.
- Barwise, Jon
- Springer
Entstanden
- 1985
Ähnliche Objekte (12)
Model theoretic algebra : selected topics
Bounded variable logics and counting : a study in finite models
Many valued logics, 1.. Theoretical foundations
Recursion-theoretic hierarchies
Logics of specification languages
Model selection and inference : a practical information theoretic approach
Uncertain logics, variables and systems
Many valued logics, 2.. Automated reasoning and practical applications
Models of strategic reasoning : logics, games, and communities
Model selection and multimodel inference : a practical information theoretic approach
Logics in AI : proceedings
Non-standard inferences in description logics
Model theoretic algebra : selected topics
Bounded variable logics and counting : a study in finite models
Many valued logics, 1.. Theoretical foundations
Recursion-theoretic hierarchies
Logics of specification languages
Model selection and inference : a practical information theoretic approach
Uncertain logics, variables and systems
Many valued logics, 2.. Automated reasoning and practical applications
Models of strategic reasoning : logics, games, and communities
Model selection and multimodel inference : a practical information theoretic approach
Logics in AI : proceedings
Non-standard inferences in description logics
Model theoretic algebra : selected topics
Bounded variable logics and counting : a study in finite models
Many valued logics, 1.. Theoretical foundations
Recursion-theoretic hierarchies
Logics of specification languages
Model selection and inference : a practical information theoretic approach
Uncertain logics, variables and systems
Many valued logics, 2.. Automated reasoning and practical applications
Models of strategic reasoning : logics, games, and communities
Model selection and multimodel inference : a practical information theoretic approach
Logics in AI : proceedings