Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice - SpringerBriefs in Philosophy - Nicolas Clerbout - Books - Springer International Publishing AG - 9783319190624 - July 21, 2015
In case cover and title do not match, the title is correct

Nicolas Clerbout
Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice - SpringerBriefs in Philosophy 1st ed. 2015 edition

Price
$ 55.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 2 - 8

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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.

99 pages, 26 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released July 21, 2015
ISBN13 9783319190624
Publishers Springer International Publishing AG
Pages 99
Dimensions 155 × 235 × 7 mm   ·   185 g
Language French  

More by Nicolas Clerbout

Show all

See all of Nicolas Clerbout ( e.g. Paperback Book )