Gør som tusindvis af andre bogelskere
Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.
Ved tilmelding accepterer du vores persondatapolitik.Du kan altid afmelde dig igen.
Linking Game-Theoretical Approaches with Constructive Type Theory
- Dialogical Strategies, CTT demonstrations and the Axiom of Choice
indgår i SpringerBriefs in Philosophy serien
- Indbinding:
- Paperback
- Sideantal:
- 99
- Udgivet:
- 8. Juli 2015
- Udgave:
- 12015
- Størrelse:
- 235x155x7 mm.
- Vægt:
- 203 g.
Leveringstid:
2-3 uger
Forventet levering: 12. Oktober 2024
Beskrivelse af Linking Game-Theoretical Approaches with Constructive Type Theory
This title links two of the most dominant research streams in philosophy of logic, namely game theory and proof theory. The fifth chapter develops the algorithm from CTT-demonstrations to dialogical strategies.
Brugerbedømmelser af Linking Game-Theoretical Approaches with Constructive Type Theory
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Linking Game-Theoretical Approaches with Constructive Type Theory findes i følgende kategorier:
Du kan altid afmelde dig igen.
© 2024 Bogreolen.dk Esromgade 15, 3. | 2200 København N | Danmark | CVR: DK43351621
