The Semantics and Proof Theory of the Logic of Bunched Implications: Applied Logic Series, cartea 26
Autor David J. Pymen Limba Engleză Hardback – 31 iul 2002
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 896.67 lei 6-8 săpt. | |
SPRINGER NETHERLANDS – 4 dec 2010 | 896.67 lei 6-8 săpt. | |
Hardback (1) | 902.79 lei 6-8 săpt. | |
SPRINGER NETHERLANDS – 31 iul 2002 | 902.79 lei 6-8 săpt. |
Din seria Applied Logic Series
- 23% Preț: 600.39 lei
- 18% Preț: 1055.67 lei
- 20% Preț: 943.52 lei
- 18% Preț: 906.52 lei
- 15% Preț: 612.63 lei
- 18% Preț: 1160.74 lei
- 18% Preț: 905.75 lei
- 18% Preț: 906.80 lei
- 18% Preț: 909.22 lei
- 15% Preț: 605.98 lei
- 18% Preț: 895.78 lei
- 18% Preț: 899.34 lei
- 18% Preț: 902.03 lei
- 15% Preț: 603.53 lei
- 15% Preț: 605.85 lei
- 20% Preț: 948.85 lei
- 15% Preț: 611.24 lei
- 18% Preț: 906.68 lei
- 15% Preț: 614.82 lei
- 15% Preț: 558.57 lei
- 15% Preț: 614.52 lei
- 18% Preț: 1058.83 lei
- 20% Preț: 320.27 lei
- 18% Preț: 905.46 lei
- 18% Preț: 897.26 lei
Preț: 902.79 lei
Preț vechi: 1100.97 lei
-18% Nou
Puncte Express: 1354
Preț estimativ în valută:
172.84€ • 187.26$ • 144.33£
172.84€ • 187.26$ • 144.33£
Carte tipărită la comandă
Livrare economică 12-26 decembrie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9781402007453
ISBN-10: 1402007450
Pagini: 344
Ilustrații: XLIX, 290 p.
Dimensiuni: 155 x 235 x 24 mm
Greutate: 0.67 kg
Ediția:2002
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Applied Logic Series
Locul publicării:Dordrecht, Netherlands
ISBN-10: 1402007450
Pagini: 344
Ilustrații: XLIX, 290 p.
Dimensiuni: 155 x 235 x 24 mm
Greutate: 0.67 kg
Ediția:2002
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Applied Logic Series
Locul publicării:Dordrecht, Netherlands
Public țintă
ResearchCuprins
I Propositional BI.- 1. Introduction to Part I.- 2. Natural Deduction for Propositional BI.- 3. Algebraic, Topological, Categorical.- 4. Kripke Semantics.- 5. Topological Kripke Semantics.- 6. Propositional BI as a Sequent Calculus.- 7. Towards Classical Propositional BI.- 8. Bunched Logical Relations.- 9. The Sharing Interpretation, I.- II Predicate BI.- 10. Introduction to Part II.- 11. The Syntax of Predicate BI.- 12. Natural Deduction & Sequent Calculus.- 13. Kripke Semantics for Predicate BI.- 14. Topological Kripke Semantics for Predicate BI.- 15. Resource Semantics, Type Theory & Fibred Categories.- 16. The Sharing Interpretation, II.
Recenzii
From the reviews:
"This monograph presents a mathematical theory of the logic of BI … . Due to the author’s clear and approachable style this book may be interesting to a large circle of logicians, mathematicians and computer scientists. In particular, it could be useful to graduate students, specialists and researchers in the field of applications of logic in programming. In addition to its other qualities, this book also presents a significant contribution to a new area of mathematical logic—fibring logic … .” (Branislav Boricic, Mathematical Reviews, Issue 2008 i)
"This monograph presents a mathematical theory of the logic of BI … . Due to the author’s clear and approachable style this book may be interesting to a large circle of logicians, mathematicians and computer scientists. In particular, it could be useful to graduate students, specialists and researchers in the field of applications of logic in programming. In addition to its other qualities, this book also presents a significant contribution to a new area of mathematical logic—fibring logic … .” (Branislav Boricic, Mathematical Reviews, Issue 2008 i)
Caracteristici
Includes supplementary material: sn.pub/extras