Télécharger le livre :  Logique - Tome 1
Ajouter à ma liste d'envies
Ce premier volume, Méthodes pour l'informatique fondamentale, contient un exposé des calculs des propositions et des prédicats, ainsi qu'une introduction aux théories du premier ordre. L'accent est mis sur l'aspect calculatoire, essentiel pour l'application en...

Editeur : Hermés science
Parution : 1990-10-15

PDF sans DRM

59,99