A Short Introduction to Intuitionistic Logic: University Series in Mathematics
Autor Grigori Mintsen Limba Engleză Paperback – 26 apr 2013
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 836.27 lei 6-8 săpt. | |
Springer Us – 26 apr 2013 | 836.27 lei 6-8 săpt. | |
Hardback (1) | 841.34 lei 6-8 săpt. | |
Springer Us – 31 oct 2000 | 841.34 lei 6-8 săpt. |
Din seria University Series in Mathematics
- 18% Preț: 1161.96 lei
- 18% Preț: 948.07 lei
- 18% Preț: 906.09 lei
- 15% Preț: 608.30 lei
- 18% Preț: 1311.71 lei
- 15% Preț: 606.75 lei
- 15% Preț: 611.40 lei
- 18% Preț: 1499.73 lei
- 15% Preț: 604.75 lei
- 15% Preț: 615.74 lei
- Preț: 377.62 lei
- 15% Preț: 611.40 lei
- 18% Preț: 840.03 lei
- 18% Preț: 741.81 lei
- 18% Preț: 903.68 lei
- 18% Preț: 689.94 lei
- Preț: 361.96 lei
- 5% Preț: 627.18 lei
- 15% Preț: 579.46 lei
Preț: 836.27 lei
Preț vechi: 1019.84 lei
-18% Nou
Puncte Express: 1254
Preț estimativ în valută:
160.14€ • 173.21$ • 133.44£
160.14€ • 173.21$ • 133.44£
Carte tipărită la comandă
Livrare economică 11-25 decembrie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9781475773194
ISBN-10: 1475773196
Pagini: 144
Ilustrații: IX, 131 p.
Dimensiuni: 155 x 235 x 8 mm
Greutate: 0.21 kg
Ediția:2000
Editura: Springer Us
Colecția Springer
Seria University Series in Mathematics
Locul publicării:New York, NY, United States
ISBN-10: 1475773196
Pagini: 144
Ilustrații: IX, 131 p.
Dimensiuni: 155 x 235 x 8 mm
Greutate: 0.21 kg
Ediția:2000
Editura: Springer Us
Colecția Springer
Seria University Series in Mathematics
Locul publicării:New York, NY, United States
Public țintă
ResearchCuprins
Intuitionistic Predicate Logic.- Natural Deduction System NJ.- Kripke Models for Predicate Logic.- Systems LJm, LJ.- Proof-Search in Predicate Logic.- Preliminaries.- Natural Deduction for Propositional Logic.- Negative Translation: Glivenko’s Theorem.- Program Interpretation of Intuitionistic Logic.- Computations with Deductions.- Coherence Theorem.- Kripke Models.- Gentzen-type Propositional System LJpm.- Topological Completeness.- Proof-search.- System LJp.- Interpolation Theorem.
Recenzii
`This is the most welcome addition to the literature on intuitionistic logic, providing a substantial reference of value comparable to that of better established references for classical mathematical logic. The development of Mints' book is natural, elegant and accessible, with a minimum of fuss but no lack of attention to important detail.
Overall, the book is an excellent addition to the literature.'
Mathematical Reviews, 2002b
Overall, the book is an excellent addition to the literature.'
Mathematical Reviews, 2002b