Tools and Techniques in Modal Logic: Studies in Logic and the Foundations of Mathematics, cartea 142
Autor M. Krachten Limba Engleză Hardback – 16 iun 1999
Din seria Studies in Logic and the Foundations of Mathematics
- 16% Preț: 325.06 lei
- 23% Preț: 516.79 lei
- Preț: 376.97 lei
- 78% Preț: 293.31 lei
- Preț: 340.55 lei
- 23% Preț: 535.07 lei
- 20% Preț: 754.36 lei
- 27% Preț: 898.01 lei
- 27% Preț: 965.38 lei
- 46% Preț: 740.61 lei
- 20% Preț: 1150.73 lei
- 32% Preț: 584.84 lei
- 27% Preț: 704.35 lei
- 20% Preț: 607.89 lei
- 27% Preț: 806.94 lei
- 20% Preț: 1070.11 lei
- 24% Preț: 727.30 lei
- 27% Preț: 1320.28 lei
- 27% Preț: 748.30 lei
- 39% Preț: 764.14 lei
- 24% Preț: 1005.02 lei
- 27% Preț: 775.99 lei
Preț: 825.29 lei
Preț vechi: 1130.54 lei
-27% Nou
Puncte Express: 1238
Preț estimativ în valută:
157.97€ • 169.85$ • 131.69£
157.97€ • 169.85$ • 131.69£
Carte tipărită la comandă
Livrare economică 20 decembrie 24 - 03 ianuarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9780444500557
ISBN-10: 0444500553
Pagini: 559
Dimensiuni: 156 x 234 x 32 mm
Greutate: 0.98 kg
Editura: ELSEVIER SCIENCE
Seria Studies in Logic and the Foundations of Mathematics
ISBN-10: 0444500553
Pagini: 559
Dimensiuni: 156 x 234 x 32 mm
Greutate: 0.98 kg
Editura: ELSEVIER SCIENCE
Seria Studies in Logic and the Foundations of Mathematics
Cuprins
Chapter Headings only. About this Book. Overview. Part 1. The Fundamentals. Algebra, logic and deduction. Fundamentals of modal logic I. Fundamentals of modal logic II. Part 2. The General Theory of Modal Logic. Universal algebra and duality theory. Definability and correspondence. Reducing polymodal logic to monomodal logic. Lattices of modal logics. Part 3. Case Studies. Extensions of K4. Logics of bounded alternativity. Dynamic logic. Index. Bibliography.
Recenzii
"....As a whole, the book deserves attention from specialists in the field....The author has succeeded in showing that the use of mathematical (algebraic and topological) tools provides an excellent means for deeper understanding of the theory." --Bulletin of the Symbolic Logic