Can I read Introduction à la Logique on EtoBox?

Introduction à la Logique by André Delessert is a nonfiction available to read on EtoBox.

What is Introduction à la Logique about?

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.

Who reads Introduction à la Logique?

Author

André Delessert

Publisher

Presses polytechniques romandes ; Diff. Lavoisier

Published

1988

Language

FR

ISBN

9782880741532

Category

nonfiction

Subjects

Mathematics, Logic, Stem