1 - Logique moderne. Fascicule 1 : logique des propositions et des prédicats, déduction naturelle |
2 - Logique moderne. Fascicule 2 : logique des propositions et des prédicats, tables de vérité et axiomatisation |
3 - Logique moderne. Fascicule III : implications-modalités, logiques polyvalentes, logique combinatoire, ontologie et méréologie de Lesniewski |