Présentation de l'auteur David Makinson :

Livres publiés jusqu'à présent par David Makinson :

Ensembles, logique et mathématiques pour l'informatique - Sets, Logic and Maths for...

Ce manuel facile à suivre présente le langage mathématique,...

Passerelles entre la logique classique et la logique non monotone - Bridges from Classical to...

Imaginez un robot qui tente d'évaluer une...