Logique intuitionniste - Méthodes de décision

vendredi 10 février 2012
par  Joseph Vidal-Rosset
popularité : 2%

On donne dans le document attaché une méthode de décision pour la logique intuitionniste.


« Logique intuitionniste », par Kevin Quirin, sous la direction de Vítězslav Švejdar, à l’univeristé Charles de Prague.


Documents joints

Cours sur la logique intuitionniste du 1er (...)
Cours sur la logique intuitionniste du 1er (...)
Cours donné à Nancy dans le cadre de la troisième année de Licence de philosophie

Commentaires  forum ferme

Agenda

<<

2014

 

<<

Août

 

Aujourd'hui

LuMaMeJeVeSaDi
28293031123
45678910
11121314151617
18192021222324
25262728293031
Aucun évènement à venir les 6 prochains mois