Model Theory for Modal Logic: Kripke Models for Modal Predicate Calculi: Synthese Library, cartea 127
Autor K.A. Bowenen Limba Engleză Hardback – 31 dec 1978
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 620.55 lei 6-8 săpt. | |
SPRINGER NETHERLANDS – 30 dec 2010 | 620.55 lei 6-8 săpt. | |
Hardback (1) | 626.15 lei 6-8 săpt. | |
SPRINGER NETHERLANDS – 31 dec 1978 | 626.15 lei 6-8 săpt. |
Din seria Synthese Library
- Preț: 543.27 lei
- 15% Preț: 625.52 lei
- 18% Preț: 969.92 lei
- 15% Preț: 584.63 lei
- 18% Preț: 885.61 lei
- 15% Preț: 575.02 lei
- 15% Preț: 682.42 lei
- 18% Preț: 874.82 lei
- 15% Preț: 630.33 lei
- Preț: 282.33 lei
- Preț: 434.20 lei
- 5% Preț: 364.71 lei
- 15% Preț: 624.71 lei
- 18% Preț: 939.44 lei
- 15% Preț: 629.38 lei
- 18% Preț: 1205.69 lei
- 15% Preț: 629.83 lei
- 18% Preț: 980.11 lei
- Preț: 381.87 lei
- 15% Preț: 624.39 lei
- 18% Preț: 932.97 lei
- 18% Preț: 1206.35 lei
- 15% Preț: 632.90 lei
- Preț: 387.90 lei
- Preț: 392.43 lei
- 18% Preț: 1200.62 lei
- 15% Preț: 625.98 lei
- 18% Preț: 1207.09 lei
- Preț: 372.80 lei
- Preț: 386.95 lei
- 15% Preț: 627.43 lei
- Preț: 374.30 lei
- 15% Preț: 630.01 lei
Preț: 626.15 lei
Preț vechi: 736.65 lei
-15% Nou
Puncte Express: 939
Preț estimativ în valută:
119.83€ • 124.47$ • 99.54£
119.83€ • 124.47$ • 99.54£
Carte tipărită la comandă
Livrare economică 01-15 februarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9789027709295
ISBN-10: 9027709297
Pagini: 156
Ilustrații: X, 139 p. 1 illus.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.38 kg
Ediția:1979
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Synthese Library
Locul publicării:Dordrecht, Netherlands
ISBN-10: 9027709297
Pagini: 156
Ilustrații: X, 139 p. 1 illus.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.38 kg
Ediția:1979
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Synthese Library
Locul publicării:Dordrecht, Netherlands
Public țintă
ResearchCuprins
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.