Tag : théorie des preuves

Une encyclopédie de preuves en ligne

Quelles technologies utiliser ? Par Saroupille - Mardi 03 juillet 2018 à 12h06 03/07/18 à 12h06

2 messages

Dernière réponse
Mardi 03 juillet 2018 à 19h04 03/07/18 à 19h04
par gasche

Non-prouvabilité en déduction naturelle propositionnelle

Par des moyens syntaxiques Par Ben Dover - Vendredi 27 octobre 2017 à 17h26 27/10/17 à 17h26

10 messages

Dernière réponse
Samedi 28 octobre 2017 à 21h21 28/10/17 à 21h21
par Saroupille