Ebooks de Nicolas Clerbout en PDF et EPUB

2 Livre(s)
Télécharger le livre : Immanent Reasoning or Equality in Action
Ajouter à ma liste d'envies
Immanent Reasoning or Equality in Action
Nicolas Clerbout , Ansten Klev , Zoe Mcconaughey , Shahid Rahman
This monograph proposes a new way of implementing interaction in logic. It also provides an elementary introduction to Constructive Type Theory (CTT). The authors equally emphasize basic ideas and finer technical details. In addition, many worked out exercises and...

Editeur : Springer
Parution : 2018-08-16
Collection : Logic, Argumentation & Reasoning
PDF, ePub

52,74 €
Télécharger le livre : Linking Game-Theoretical Approaches with Constructive Type Theory
Ajouter à ma liste d'envies
Linking Game-Theoretical Approaches with Constructive Type Theory
Nicolas Clerbout , Shahid Rahman
This title links two of the most dominant research streams in philosophy of logic, namely game theory and proof theory. As the work’s subtitle expresses, the authors will build this link by means of the dialogical approach to logic. One important aspect of the present...

Editeur : Springer
Parution : 2015-07-08

PDF, ePub

52,74 €