Ebooks d'Ansten Klev en PDF et EPUB

2 Livre(s)
Télécharger le livre : The Architecture and Archaeology of Modern Logic
Ajouter à ma liste d'envies
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
Collection : Logic, Epistemology, and the Unity of Science
PDF, ePub

158,24 €
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 €