Tous les ebooks de la collection "Outstanding Contributions to Logic" - Springer


2  résultat(s)
Télécharger le livre : Peter Schroeder-Heister on Proof-Theoretic Semantics
Ajouter à ma liste d'envies

Peter Schroeder-Heister on Proof-Theoretic Semantics

Thomas Piecha , Kai F. Wehmeier

This open access book is a superb collection of some fifteen chapters inspired by Schroeder-Heister's groundbreaking work, written by leading experts in the field, plus an extensive autobiography and comments on the various contributions by Schroeder-Heister himself....

Parution : 2024-02-12
Format(s) : PDF
Éditeur : Springer
Collection : Outstanding Contributions to Logic
J'ajoute au panier
Gratuit
Télécharger le livre : Nuel Belnap on Indeterminism and Free Action
Ajouter à ma liste d'envies

Nuel Belnap on Indeterminism and Free Action

Thomas Müller

This volume seeks to further the use of formal methods in clarifying one of the central problems of philosophy: that of our free human agency and its place in our indeterministic world. It celebrates the important contributions made in this area by Nuel Belnap, American...

Parution : 2014-03-21
Format(s) : PDF, ePub
Éditeur : Springer
Collection : Outstanding Contributions to Logic
J'ajoute au panier
Gratuit

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

Paiements sécurisés

Paiements sécurisés