Logique mathématique
-
Type d'autorité
- Concept
-
Autre(s) nom(s)
- Logique formelle ;
- Logique moderne symbolique
Les démonstrations :
démontrer, l'art […]
Informatique MP2I :
nouveaux programmes
Vercouter, Laurent
(1974-....)
L'intelligence et le
calcul : de Gödel […]
Delahaye, Jean-Paul
(1952-....)
Logique formelle et
argumentation
Bouquiaux, Laurence
Information, complexité
et hasard
Delahaye, Jean-Paul
(1952-....)
énigmes mathématiques
et logiques : 50 […]
Genoud, Augustin
CQFD : beauté de la
démonstration […]
Polster, Burkard
(1965-....)
La logique ou L'art de
raisonner
Delmas-Rigoutsos, Yannis
Preuves et réfutations
: essai sur la […]
Lakatos, Imre
(1922-1974)
Logique et fondements
des mathématiques […]
OEuvres complètes de
philosophie des sciences
Cavaillès, Jean
(1903-1944)
Philosophie des
mathématiques. 2 ,[…]
Introduction à la
logique : théorie […]
David, René (1906-1990)
Calcul différentiel
pour les langues de[…]
Thayse, André
(1940-....)
Les bases du
raisonnement numérique
Hetru, Emmanuel
(1968-....)