Travaux de logique
de l'Université de Neuchâtel
sous la direction de Denis Miéville
2 – Introduction à la théorie des systèmes formels – Deuxième partie
138 p.
Denis Miéville
Janvier 1987
[Partie 1] [Partie 2] [Partie 3] [Partie 4] [Partie 5] [Partie 6]
3 – La styllogistique – D’Aristote à nos jours
69 p.
Juin 1987