2 résultat(s)
Télécharger le livre : The Architecture and Archaeology of Modern Logic
Ansten Klev
The Architecture and Archaeology of Modern Logic
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
Collection : Logic, Epistemology, and the Unity of Science
Format(s) : 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
Nicolas Clerbout , Ansten Klev , Zoe Mcconaughey , Shahid Rahman
Immanent Reasoning or Equality in Action
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
Format(s) : PDF, ePub
52,74 €
Téléchargement immédiat
Dès validation de votre commande