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) | 608.90 lei 6-8 săpt. | |
| SPRINGER NETHERLANDS – 30 dec 2010 | 608.90 lei 6-8 săpt. | |
| Hardback (1) | 614.41 lei 6-8 săpt. | |
| SPRINGER NETHERLANDS – 31 dec 1978 | 614.41 lei 6-8 săpt. |
Din seria Synthese Library
- 20%
Preț: 602.14 lei - 20%
Preț: 601.55 lei - 15%
Preț: 613.80 lei - 18%
Preț: 951.53 lei - 15%
Preț: 573.68 lei - 15%
Preț: 564.27 lei - 15%
Preț: 669.59 lei - 18%
Preț: 858.26 lei - 15%
Preț: 618.50 lei -
Preț: 297.31 lei - 18%
Preț: 915.43 lei - 18%
Preț: 917.46 lei -
Preț: 426.21 lei - 5%
Preț: 358.05 lei - 15%
Preț: 613.00 lei - 18%
Preț: 921.64 lei - 15%
Preț: 617.57 lei - 18%
Preț: 1182.77 lei - 15%
Preț: 618.03 lei - 18%
Preț: 961.53 lei -
Preț: 367.70 lei - 15%
Preț: 612.68 lei - 18%
Preț: 915.29 lei - 18%
Preț: 1183.40 lei - 15%
Preț: 621.03 lei -
Preț: 380.82 lei -
Preț: 385.26 lei - 18%
Preț: 1177.80 lei - 15%
Preț: 614.24 lei - 18%
Preț: 1184.15 lei -
Preț: 366.02 lei -
Preț: 379.89 lei - 15%
Preț: 615.66 lei -
Preț: 367.49 lei - 15%
Preț: 618.19 lei
Preț: 614.41 lei
Preț vechi: 722.83 lei
-15% Nou
Puncte Express: 922
Preț estimativ în valută:
108.70€ • 126.84$ • 95.04£
108.70€ • 126.84$ • 95.04£
Carte tipărită la comandă
Livrare economică 16-30 ianuarie 26
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.