Logique

Cours

Wikipédia-Logique mathématique
Fondements des mathématiques par Sylvain Poirier
Cours d'Andreas Herzig
Cours d'Alain Lecomte
Cours de Laure Danthony
Exo-7
Open classrooms
WIMS
Cours de Pierre Lescanne
Wikipédia-Logique des propositions
Wikipédia-Calcul des prédicats
Aristote par Serge Mehl
Enigmes et paradoxes par Gérard Villemin

Exercices

Université Lyon-1 T.D.
Julien Dutant
Université Lille-3
Exo-7
Bibmath
Université d'Angers
Lyon 1 - Benzoni