Model Theory for Modal Logic: Kripke Models for Modal Predicate Calculi.. Dieser Artikel ist nicht verfügbar.
Sprache: Englisch
Verlag: D. Reidel Publishing Company,, Dordrecht:, 1979
- Erstausgabe
- Hardcover
- Gebraucht
Verkäuferin bzw. Verkäufer von Kulturgütern
Anbieter: Grendel Books, ABAA/ILAB, Springfield, MA, USAGrendel Books, ABAA/ILAB
Verkäufer/-in mit 5 Sternen
Verkäufer:in bei AbeBooks seit 1. Mai 1998
Nicht verfügbar
Hardcover
Zustand: Gebraucht - Gut bis sehr gut
EUR 59,82
Artikelbeschreibung des Verkäufers
Volume 127 in the Synthese Library series. First edition. Near fine in a near fine (one short closed edge tear) dust jacket.
Bestandsnummer des Verkäufers 89424
- Titel
- Model Theory for Modal Logic: Kripke Models for Modal Predicate Calculi.
- Autor
- BOWEN, Kenneth A.
- Verlag
- D. Reidel Publishing Company,, Dordrecht:
- Erscheinungsjahr
- 1979
- Zustand
- Near Fine
- Schutzumschlag
- Near Fine
- Einband
- Hardcover
- Sprache
- Englisch
- ISBN-10
- 9027709297
- ISBN-13
- 9789027709295
- Auflage
- 1. Auflage
- Verkäuferkataloge
- General Nonfiction IV
Syntactic Considerations.- Modal Structures and Morphisms.- Validity.- Completeness.- Löwenheim-Skolem Theorems.- Ultraproducts.- Ultrafilter Pairs and Elementary Embeddings.- Direct Limits.- Model Extensions.- Inductive Theories.- Joint Consistency and Interpolation.- Model Completeness.- Finite Forcing.- Forcing and Model Completions.- Omitting Types and a Two-Cardinal Theorem.
„Inhaltsangabe“ gehört möglicherweise zu einer anderen Auflage dieses Titels.
Suchergebnisse für Model Theory for Modal Logic: Kripke Models for Modal Predicate Calculi.
Es sind 8 weitere Exemplare dieses Buches vorhanden.Alle Ergebnisse anzeigen