History and Philosophy of Constructive Type Theory: Synthese Library, cartea 290
Autor Giovanni Sommarugaen Limba Engleză Paperback – 7 dec 2010
Readership: Comprehensive accounts of the history and philosophy of constructive type theory and a considerable amount of related material. Readers need a solid background in standard logic and a first, basic acquaintance with type theory.
Toate formatele și edițiile
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 932.47 lei 6-8 săpt. | |
SPRINGER NETHERLANDS – 7 dec 2010 | 932.47 lei 6-8 săpt. | |
Hardback (1) | 939.44 lei 6-8 săpt. | |
SPRINGER NETHERLANDS – 31 iul 2000 | 939.44 lei 6-8 săpt. |
Din seria Synthese Library
- Preț: 543.27 lei
- 15% Preț: 627.68 lei
- 18% Preț: 973.28 lei
- 15% Preț: 586.66 lei
- 18% Preț: 888.67 lei
- 15% Preț: 577.01 lei
- 15% Preț: 684.77 lei
- 18% Preț: 877.84 lei
- 15% Preț: 632.51 lei
- Preț: 282.33 lei
- Preț: 435.68 lei
- 5% Preț: 365.97 lei
- 15% Preț: 626.86 lei
- 18% Preț: 942.69 lei
- 15% Preț: 631.54 lei
- 18% Preț: 1209.87 lei
- 15% Preț: 632.01 lei
- 18% Preț: 983.50 lei
- Preț: 383.18 lei
- 15% Preț: 626.55 lei
- 18% Preț: 936.20 lei
- 18% Preț: 1210.53 lei
- 15% Preț: 635.09 lei
- Preț: 389.24 lei
- Preț: 393.78 lei
- 18% Preț: 1204.79 lei
- 15% Preț: 628.14 lei
- 18% Preț: 1211.29 lei
- Preț: 374.09 lei
- Preț: 388.27 lei
- 15% Preț: 629.60 lei
- 15% Preț: 628.32 lei
- Preț: 375.60 lei
- 15% Preț: 632.17 lei
Preț: 932.47 lei
Preț vechi: 1137.16 lei
-18% Nou
Puncte Express: 1399
Preț estimativ în valută:
178.54€ • 185.91$ • 148.13£
178.54€ • 185.91$ • 148.13£
Carte tipărită la comandă
Livrare economică 12-26 februarie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9789048154036
ISBN-10: 9048154030
Pagini: 380
Ilustrații: X, 367 p.
Dimensiuni: 160 x 240 x 20 mm
Greutate: 0.53 kg
Ediția:Softcover reprint of hardcover 1st ed. 2000
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Synthese Library
Locul publicării:Dordrecht, Netherlands
ISBN-10: 9048154030
Pagini: 380
Ilustrații: X, 367 p.
Dimensiuni: 160 x 240 x 20 mm
Greutate: 0.53 kg
Ediția:Softcover reprint of hardcover 1st ed. 2000
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Synthese Library
Locul publicării:Dordrecht, Netherlands
Public țintă
ResearchCuprins
1. The Present Version of Constructive Type Theory (1995).- 2. Metatheoretical Considerations.- 3. History of Constructive Type Theory (1970–95).- 4. Philosophical and Technical Prehistory of Constructive Type Theory (1880–1970).- Conclusion.- References.