Capa do artigo Linking Game-Theoretical Approaches With Constructive Type Theory
10% OFF

Linking Game-Theoretical Approaches With Constructive Type Theory eBook

Dialogical Strategies, Ctt Demonstrations And The Axiom Of Choice

by Nicolas Clerbout e Shahid Rahman
language: english
Publisher: Springer International Publishing, July of 2015 ‧
59,61€
10% OFF CARD
IMMEDIATE AVAILABILITY
Ebook for ADE
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.

Linking Game-Theoretical Approaches With Constructive Type Theory

Dialogical Strategies, Ctt Demonstrations And The Axiom Of Choice

by Nicolas Clerbout e Shahid Rahman

Property Description
ISBN: 9783319190631
Publisher: Springer International Publishing
Release Date: July of 2015
Language: English
Format: eBook
File Format and Compatibility: PDF para ADE
Collection: Springerbriefs In Philosophy
Categories: eBooks in English > Social Sciences and Humanities > Philosophy
EAN: 9783319190631

BOOKS FROM THE SAME COLLECTION

SEE MORE TITLES FROM THIS COLLECTION

NICOLAS CLERBOUT

SEE MORE TITLES BY THIS AUTHOR

SHAHID RAHMAN

SEE MORE TITLES BY THIS AUTHOR