Tous les livres numériques d'Ansten Klev en PDF et EPUB

2 Livre(s)
Télécharger le livre : The Architecture and Archaeology of Modern Logic
The Architecture and Archaeology of Modern Logic
Ansten Klev
This book honors the original and influential work by Göran Sundholm in the fields of the philosophy and history of logic and mathematics. Borne from two conferences held in Paris and Leiden on the occasion of Göran Sundholm’s retirement in 2019, the contributions...

Editeur : Springer
Parution : 2024-10-02
PDF, ePub

158,24 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Immanent Reasoning or Equality in Action
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échargement immédiat
Dès validation de votre commande