Welkom op Boeklezers.nl
Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »
Boeken
Logica voor informatica
In de eerste helft van Logica voor informatica staan de standaardsystemen van de propositielogica en de predikaatlogica centraal. De propositielogica richt z... »
In de eerste helft van Logica voor informatica staan de standaardsystemen van de propositielogica en de predikaatlogica centraal. De propositielogica richt z... »
The Logic of Time - Second Revised Edition
A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse »
A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse »
