Eléments de logique formelle

Une approche de la logique comme description du fonctionnement valide de notre esprit est proposée. Avec une approche des techniques logiques élémentaires depuis la logique aristotélicienne jusqu'à la logique moderne, calcul des propositions et calcul des prédicats. Chaque chapitre est suivi d'une série d'exercices visant à mettre le lecteur en situation de pratiquer la technique logique.