Model Theory for Modal Logic: Kripke Models for Modal Predicate Calculi

-15% su kodu: ENG15
143,97 
Įprasta kaina: 169,38 
-15% su kodu: ENG15
Kupono kodas: ENG15
Akcija baigiasi: 2025-03-03
-15% su kodu: ENG15
143,97 
Įprasta kaina: 169,38 
-15% su kodu: ENG15
Kupono kodas: ENG15
Akcija baigiasi: 2025-03-03
-15% su kodu: ENG15
2025-02-28 169.3800 InStock
Nemokamas pristatymas į paštomatus per 11-15 darbo dienų užsakymams nuo 10,00 

Knygos aprašymas

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.

Informacija

Autorius: K. A. Bowen
Serija: Synthese Library
Leidėjas: Springer Netherlands
Išleidimo metai: 2010
Knygos puslapių skaičius: 152
ISBN-10: 9048183537
ISBN-13: 9789048183531
Formatas: 229 x 152 x 9 mm. Knyga minkštu viršeliu
Kalba: Anglų

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Model Theory for Modal Logic: Kripke Models for Modal Predicate Calculi“

Būtina įvertinti prekę

Goodreads reviews for „Model Theory for Modal Logic: Kripke Models for Modal Predicate Calculi“