Model Theory for Modal Logic: Kripke Models for Modal Predicate Calculi.. Este artículo no está disponible.
Idioma: inglés
Editorial: D. Reidel Publishing Company,, Dordrecht:, 1979
- Primera edición
- Tapa dura
- Usado
Vendedor patrimonial
Librería: Grendel Books, ABAA/ILAB, Springfield, MA, Estados Unidos de AmericaGrendel Books, ABAA/ILAB
Vendedor de 5 estrellas
Vendedor de IberLibro desde 1 de mayo de 1998
No disponible
Tapa dura
Condición: Usado - Muy bueno
EUR 59,82
Descripción del artículo del vendedor
Volume 127 in the Synthese Library series. First edition. Near fine in a near fine (one short closed edge tear) dust jacket.
N° de ref. del artículo 89424
- Título
- Model Theory for Modal Logic: Kripke Models for Modal Predicate Calculi.
- Autor
- BOWEN, Kenneth A.
- Editorial
- D. Reidel Publishing Company,, Dordrecht:
- Año de publicación
- 1979
- Estado
- Near Fine
- Sobrecubierta
- Near Fine
- Encuadernación
- Hardcover
- Idioma
- inglés
- ISBN 10
- 9027709297
- ISBN 13
- 9789027709295
- Edición
- 1ª Edición
- Catálogos de vendedores
- 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.
“Sinopsis” puede pertenecer a otra edición de este título.
Resultados de la búsqueda para Model Theory for Modal Logic: Kripke Models for Modal Predicate Calculi.
Hay 8 copias más de este libroVer todos los resultados