Détail de l'indexation
160 |
Ouvrages de la bibliothèque en indexation 160 (1)
Suggerer acquisition Affiner la recherche
Monographie imprimée
Thierry Lucas, Auteur ; Isabelle Berlanger, Auteur ; Vincent Degauquier, Auteur ; Bertrand Hespel, Préfacier, etc. | Bruxelles : De Boeck | Démarches de pensée, ISSN 1379-5287 | DL 2014, cop. 2014Présente la logique des propositions et la logique des prédicats du premier ordre : exemples de base abordés de façon informelle, présentation du langage formel, présentation de sa sémantique, études de propriétés fondamentales, méthode des co[...]