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ț: 335.81 lei
- 15% Preț: 450.43 lei
- Preț: 367.77 lei
- Preț: 367.36 lei
- Preț: 348.77 lei
- Preț: 365.87 lei
- Preț: 399.81 lei
- Preț: 367.00 lei
- Preț: 370.01 lei
- Preț: 366.08 lei
- Preț: 365.87 lei
- Preț: 428.32 lei
- Preț: 364.77 lei
- Preț: 332.17 lei
- Preț: 431.49 lei
- Preț: 366.08 lei
- Preț: 367.00 lei
- Preț: 396.44 lei
- Preț: 364.40 lei
- Preț: 366.63 lei
- Preț: 468.05 lei
- 15% Preț: 450.61 lei
- Preț: 401.88 lei
- Preț: 467.31 lei
- Preț: 365.51 lei
- Preț: 368.89 lei
- Preț: 366.08 lei
- Preț: 349.09 lei
- Preț: 348.77 lei
- Preț: 366.46 lei
- Preț: 132.39 lei
- Preț: 369.43 lei
- Preț: 369.43 lei
- Preț: 462.24 lei
- Preț: 367.36 lei
- Preț: 368.89 lei
- Preț: 333.27 lei
- Preț: 367.00 lei
- 20% Preț: 312.36 lei
- Preț: 333.57 lei
- Preț: 464.30 lei
- Preț: 366.83 lei
- Preț: 366.08 lei
- Preț: 462.24 lei
- Preț: 395.89 lei
- 15% Preț: 448.54 lei
- Preț: 335.81 lei
- Preț: 369.05 lei
- Preț: 366.08 lei
Preț: 367.56 lei
Nou
Puncte Express: 551
Preț estimativ în valută:
70.35€ • 74.21$ • 58.62£
70.35€ • 74.21$ • 58.62£
Carte tipărită la comandă
Livrare economică 03-17 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