Salut à tous, je cherche des livres et des exercices résolus sur la déduction naturelle, plus particulièrement sur le style de Fitch.
Merci.
Style de Fitch pour la déduction naturelle
1 message
- Page 1 sur 1
1 message
- Page 1 sur 1
Qui est en ligne
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 41 invités
Tu pars déja ?
Fais toi aider gratuitement sur Maths-forum !
Créé un compte en 1 minute et pose ta question dans le forum ;-)
Identification
Pas encore inscrit ?
Ou identifiez-vous :