logique (La)
Livre
Edité par Que sais-je ?. Paris - 2020
La logique est devenue une discipline complexe, qui se ramifie en une multiplicité de domaines et de méthodes : théorie des modèles, de la démonstration, de la décision, complexité algorithmique, etc. Un exposé des bases et des origines historiques de la logique contemporaine s'accompagne d'un éclairage des nouvelles directions qu'elle a prises, en particulier à partir des années 1950.