Télécharger le livre :  Reflections on Programming Systems
Ajouter à ma liste d'envies
This book presents a historical and philosophical analysis of programming systems, intended as large computational systems like, for instance, operating systems, programmed to control processes. The introduction to the volume emphasizes the contemporary need of...

Editeur : Springer
Parution : 2019-01-10

PDF, ePub

137,14
Télécharger le livre :  The Realism-Antirealism Debate in the Age of Alternative Logics
Ajouter à ma liste d'envies
The relation between logic and knowledge has been at the heart of a lively debate since the 1960s. On the one hand, the epistemic approaches based their formal arguments in the mathematics of Brouwer and intuitionistic logic. Following Michael Dummett, they started to...

Editeur : Springer
Parution : 2011-09-22
Collection : Logic, Epistemology, and the Unity of Science
ePub

147,69