Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice: SpringerBriefs in Philosophy
Autor Nicolas Clerbout, Shahid Rahmanen Limba Engleză Paperback – 21 iul 2015
Din seria SpringerBriefs in Philosophy
- Preț: 328.45 lei
- 15% Preț: 440.51 lei
- Preț: 359.70 lei
- Preț: 359.30 lei
- Preț: 348.79 lei
- Preț: 357.84 lei
- Preț: 391.03 lei
- Preț: 358.93 lei
- Preț: 361.87 lei
- Preț: 358.05 lei
- Preț: 357.84 lei
- Preț: 418.89 lei
- Preț: 356.76 lei
- Preț: 324.88 lei
- Preț: 421.98 lei
- Preț: 358.05 lei
- Preț: 358.93 lei
- Preț: 387.72 lei
- Preț: 356.40 lei
- Preț: 358.58 lei
- Preț: 457.76 lei
- 15% Preț: 440.67 lei
- Preț: 393.05 lei
- Preț: 457.04 lei
- Preț: 357.49 lei
- Preț: 360.78 lei
- Preț: 358.05 lei
- Preț: 349.10 lei
- Preț: 348.79 lei
- Preț: 358.42 lei
- Preț: 132.39 lei
- Preț: 361.32 lei
- Preț: 361.32 lei
- Preț: 452.09 lei
- Preț: 359.30 lei
- Preț: 360.78 lei
- Preț: 325.96 lei
- Preț: 358.93 lei
- 20% Preț: 305.49 lei
- Preț: 326.27 lei
- Preț: 454.10 lei
- Preț: 358.77 lei
- Preț: 358.05 lei
- Preț: 452.09 lei
- Preț: 387.20 lei
- 15% Preț: 438.66 lei
- Preț: 328.45 lei
- Preț: 360.95 lei
- Preț: 358.05 lei
Preț: 359.51 lei
Nou
Puncte Express: 539
Preț estimativ în valută:
68.80€ • 73.04$ • 57.33£
68.80€ • 73.04$ • 57.33£
Carte tipărită la comandă
Livrare economică 26 decembrie 24 - 09 ianuarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783319190624
ISBN-10: 3319190628
Pagini: 110
Ilustrații: XIX, 99 p. 26 illus.
Dimensiuni: 155 x 235 x 12 mm
Greutate: 0.19 kg
Ediția:1st ed. 2015
Editura: Springer International Publishing
Colecția Springer
Seria SpringerBriefs in Philosophy
Locul publicării:Cham, Switzerland
ISBN-10: 3319190628
Pagini: 110
Ilustrații: XIX, 99 p. 26 illus.
Dimensiuni: 155 x 235 x 12 mm
Greutate: 0.19 kg
Ediția:1st ed. 2015
Editura: Springer International Publishing
Colecția Springer
Seria SpringerBriefs in Philosophy
Locul publicării:Cham, Switzerland
Public țintă
ResearchCuprins
Chapter 1. Brief Reminder of Constructive Type Theory.- Chapter 2. Dialogues with Play-Objects.- Chapter 3. From dialogical strategies to CTT demonstrations.- Chapter 4. The dialogical take on the Axiom of Choice, and its translation into CTT.- Chapter 5. Building a winning P-strategy out of a CTT demonstration.- Chapter 6. Conclusions and Work in Progress.
Caracteristici
Links two of the most dominant research streams in philosophy of logic - game theory and proof theory Builds a link between the two main theories using the dialogical approach to logic Focuses on the logically valid fragment of Constructive Type Theory Includes supplementary material: sn.pub/extras