3 résultat(s)
Télécharger le livre : Peter Schroeder-Heister on Proof-Theoretic Semantics
Thomas Piecha , Kai F. Wehmeier
Peter Schroeder-Heister on Proof-Theoretic Semantics
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....
Editeur : Springer
Parution : 2024-02-12

Format(s) : PDF
Gratuit
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : The Logical Writings of Karl Popper
David Binder , Thomas Piecha , Peter Schroeder-Heister
The Logical Writings of Karl Popper
This open access book is the first ever collection of Karl Popper's writings on deductive logic.Karl R. Popper (1902-1994) was one of the most influential philosophers of the 20th century. His philosophy of science ("falsificationism") and his social and political...
Editeur : Springer
Parution : 2022-07-06
Collection : Trends in Logic
Format(s) : PDF
Gratuit
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Advances in Proof-Theoretic Semantics
Thomas Piecha , Peter Schroeder-Heister
Advances in Proof-Theoretic Semantics
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the...
Editeur : Springer
Parution : 2015-10-24
Collection : Trends in Logic
Format(s) : PDF, ePub
Gratuit
Téléchargement immédiat
Dès validation de votre commande