Livre de logique

pravda

Pravda is a tool for teaching formal logic.

livrelogique.github.io

Site web du livre Logique : Fondements et Applications de Pierre Le Barbenchon, Sophie Pinchinat et François Schwarzentruber

bibtex