0 avis
Eléments de logique contemporaine : avec exercices corrigés / François Lepage
Livre
Edité par Presses de l'Université de Montréal - 1991
Les méthodes et les concepts élémentaires pour aborder la logique. La première partie présente les connecteurs logiques d'un point de vue sémantique, avec une attention particulière portée aux questions de traduction en langue naturelle. La deuxième partie est consacrée au calcul des prédicats.