Model Theory for Modal Logic: Synthese Library, cartea 127
Autor K. A. Bowenen Limba Engleză Paperback – 30 dec 2010
Din seria Synthese Library
- 18%
Preț: 951.53 lei - 18%
Preț: 858.26 lei - 18%
Preț: 917.46 lei - 18%
Preț: 1181.54 lei - 15%
Preț: 618.87 lei -
Preț: 426.21 lei - 18%
Preț: 930.00 lei - 15%
Preț: 639.98 lei - 18%
Preț: 925.58 lei - 15%
Preț: 626.82 lei - 18%
Preț: 915.29 lei - 15%
Preț: 612.05 lei - 18%
Preț: 1185.66 lei - 15%
Preț: 618.03 lei - 18%
Preț: 961.53 lei -
Preț: 369.60 lei - 15%
Preț: 631.42 lei - 18%
Preț: 910.31 lei - 18%
Preț: 1183.40 lei - 15%
Preț: 636.12 lei -
Preț: 384.38 lei -
Preț: 385.26 lei - 18%
Preț: 1177.80 lei - 15%
Preț: 614.24 lei - 18%
Preț: 1177.92 lei -
Preț: 368.38 lei -
Preț: 383.23 lei - 15%
Preț: 636.66 lei - 15%
Preț: 614.41 lei -
Preț: 369.85 lei - 15%
Preț: 637.65 lei - 15%
Preț: 646.33 lei - 18%
Preț: 915.73 lei -
Preț: 375.24 lei - 18%
Preț: 914.06 lei - 18%
Preț: 915.29 lei - 18%
Preț: 861.43 lei - 18%
Preț: 909.51 lei
Preț: 628.59 lei
Preț vechi: 739.53 lei
-15%
Puncte Express: 943
Carte tipărită la comandă
Livrare economică 08-22 august
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9789048183531
ISBN-10: 9048183537
Pagini: 152
Ilustrații: X, 139 p. 1 illus.
Dimensiuni: 152 x 229 x 9 mm
Greutate: 0.23 kg
Ediția:1979
Editura: Springer
Colecția Synthese Library
Seria Synthese Library
Locul publicării:Dordrecht, Netherlands
ISBN-10: 9048183537
Pagini: 152
Ilustrații: X, 139 p. 1 illus.
Dimensiuni: 152 x 229 x 9 mm
Greutate: 0.23 kg
Ediția:1979
Editura: Springer
Colecția Synthese Library
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.