Tag : logique intuitionniste
Non-prouvabilité en déduction naturelle propositionnelle
Par des moyens syntaxiques Par Ben Dover - Vendredi 27 octobre 2017 à 17h26 27/10/17 à 17h2610 messages
Dernière réponse
Samedi 28 octobre 2017 à 21h21
28/10/17 à 21h21