Cantitate/Preț
Produs

Model Theory for Modal Logic: Kripke Models for Modal Predicate Calculi: Synthese Library, cartea 127

Autor K.A. Bowen
en Limba Engleză Hardback – 31 dec 1978

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (1) 62055 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 30 dec 2010 62055 lei  6-8 săpt.
Hardback (1) 62615 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 31 dec 1978 62615 lei  6-8 săpt.

Din seria Synthese Library

Preț: 62615 lei

Preț vechi: 73665 lei
-15% Nou

Puncte Express: 939

Preț estimativ în valută:
11983 12447$ 9954£

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

Public țintă

Research

Cuprins

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.