Tous les ebooks de Nicolas Clerbout en PDF et EPUB


2  résultat(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...

Parution : 2018-08-16
Format(s) : PDF, ePub
Éditeur : Springer
Collection : Logic, Argumentation & Reasoning
J'achète
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...

Parution : 2015-07-08
Format(s) : PDF, ePub
Éditeur : Springer
Collection : SpringerBriefs in Philosophy
J'achète
52,74 €

Restez informé(e) des événements et promotions ebook

Paiements sécurisés

Paiements sécurisés