10% de desconto

Linking Game-Theoretical Approaches With Constructive Type Theory eBook

Dialogical Strategies, Ctt Demonstrations And The Axiom Of Choice

de Nicolas Clerbout e Shahid Rahman
idioma: inglês
Editor: Springer International Publishing, julho de 2015 ‧
59,61€
10% DESCONTO CARTÃO
DISPONIBILIDADE IMEDIATA
Ebook para 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

de Nicolas Clerbout e Shahid Rahman

Propriedade Descrição
ISBN: 9783319190631
Editor: Springer International Publishing
Data de Lançamento: julho de 2015
Idioma: Inglês
Tipo de produto: eBook
Formato e Compatibilidade: PDF para ADE
Coleção: Springerbriefs In Philosophy
Classificação Temática: eBooks em Inglês > Ciências Sociais e Humanas > Filosofia
EAN: 9783319190631

LIVROS DA MESMA COLEÇÃO