Introduction à la logique

Abstract

Destiné à un large public, ce livre, qui ne nécessite pas de connaissances avancées en mathématiques, est axé principalement sur la logique du premier ordre. L'intention générale est de proposer des faits de logique non banals, tels que le théorème de complétude de la logique de premier ordre et ses divers corollaires. Quelques relations avec la langue, la philosophie et les fondements des mathématiques sont abordées à la lumière des résultats démontrés.