1 - Introduction aux mathématiques modernes : ensembles, opérations sur les ensembles, propositions, calculs des propositions, axiomatique, le groupe commutatif
Monjallon, Albert

Cote : [03.5 MON 60]

2 - Logique mathématique. 1 : calcul propositionnel, algèbres de Boole, calcul des prédicats
Cori, René   /   Krivine, Jean-Louis (1939-....) (Préface)   /   Lascar, Daniel (1942-....)

Cote : [05 COR 03-1]

3 - Logique moderne. Fascicule 1 : logique des propositions et des prédicats, déduction naturelle
Grize, Jean-Blaise (1922-2013)

Cote : [05 GRI 69-1]

4 - Logique moderne. Fascicule 2 : logique des propositions et des prédicats, tables de vérité et axiomatisation
Grize, Jean-Blaise (1922-2013)

Cote : [05 GRI 71-2]

5 - Nomological statements and admissible operations
Reichenbach, Hans (1891-1953)

Cote : [02 REI 54]