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) | 633.35 lei 6-8 săpt. | |
SPRINGER NETHERLANDS – 30 dec 2010 | 633.35 lei 6-8 săpt. | |
Hardback (1) | 639.08 lei 6-8 săpt. | |
SPRINGER NETHERLANDS – 31 dec 1978 | 639.08 lei 6-8 săpt. |
Din seria Synthese Library
- Preț: 543.27 lei
- 15% Preț: 638.43 lei
- 18% Preț: 989.98 lei
- 15% Preț: 596.69 lei
- 18% Preț: 903.93 lei
- 15% Preț: 586.88 lei
- 15% Preț: 696.50 lei
- 18% Preț: 892.90 lei
- 15% Preț: 643.34 lei
- Preț: 282.33 lei
- Preț: 443.10 lei
- 5% Preț: 372.19 lei
- 15% Preț: 637.59 lei
- 18% Preț: 958.88 lei
- 15% Preț: 642.36 lei
- 18% Preț: 1230.66 lei
- 15% Preț: 642.83 lei
- 18% Preț: 1000.39 lei
- Preț: 389.70 lei
- 15% Preț: 637.28 lei
- 18% Preț: 952.26 lei
- 18% Preț: 1231.32 lei
- 15% Preț: 645.96 lei
- Preț: 395.85 lei
- Preț: 400.47 lei
- 18% Preț: 1225.48 lei
- 15% Preț: 638.89 lei
- 18% Preț: 1232.09 lei
- Preț: 380.45 lei
- Preț: 394.87 lei
- 15% Preț: 640.37 lei
- Preț: 381.98 lei
- 15% Preț: 643.00 lei
Preț: 639.08 lei
Preț vechi: 751.86 lei
-15% Nou
Puncte Express: 959
Preț estimativ în valută:
122.32€ • 126.06$ • 103.27£
122.32€ • 126.06$ • 103.27£
Carte tipărită la comandă
Livrare economică 04-18 martie
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.