Introduction à la logique

Introduction `a la logique ... laquelle toutes les r`egles de déduction et les axiomes sont .... Un livre assez complet sur la logique de l'informatique en français :.


Un extrait du document