Recherches logiques

Réflexions, notes et lectures désordonnées en logique, avec toutes les erreurs imaginables résultant de l'improvisation.