M2PHSC41 - Logique avancée - PLudwig: fitch.sty

For writing proofs in Natural Deduction

Cliquer sur fitch.sty pour ouvrir la ressource.

Le SIPR

Le Service Informatique pour la Pédagogie et la Recherche coordonne les projets liés aux technologies de l’information et de la communication pour l’enseignement (TICE) et la recherche.

LIENS UTILES

Faculté des Lettres de S.U.
E.N.T.
NUMÉRIQUE
MOOCs Sorbonne Université

ASSISTANCE MOODLE

Etudiant(e) : Contacter SOS ENT
Enseignant(e) : Contacter l'assistance informatique