Introduction à la logique

Destiné à un large public, ce livre, qui ne nécessite pas de connaissances avancée 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, tel 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és à la lumière des résultats démontrés.André Delessert est né à Lausanne où il a obtenu sa licence ès sciences puis son doctorat . Nommé professeur extraordinaire puis ordinaire à la faculté des sciences de l'Université de Lausanne, dont il a été le recteur, André Delessert a fait partie, en qualité de secrétaire ou de président, de diverses commissions nationales et internationales traitant de mathématiques et a publié de nombreux ouvrages dont, entre autres, géométrie plane, introduction à la géométrie de l'espace, introduction à la trigonométrie ainsi que de nombreux articles concernant les mathématiques et leur enseignement.