- Editor: Hermes Science Publications
- ISBN: 2-86601-249-6
- Published: 22 juin, 2023
Deux Quantités, a présenté la logique propose une évolution complète sur l’utilisation de la logique de résultats et de méthodes d’exposition les plus récentes. Le premier tome, de méthodes pour l’Informatique fondamentaux contient une description des calculs de propositions et de prédicats ainsi qu’une introduction aux théories de premier rang. L’accent est mis sur l’aspect calculatoire, condition préalable pour l’application de l’informatique et de l’intelligence artificielle. L’une des premières originalités du livre, Manuel logique globale dans la langue française est la liaison par le souci de pratique avec une réelle de rigueur conceptuelle. Cette usine ne peut donc un outil indispensable pour tous les théorique à l’approfondissement.