Logique intuitionniste - Méthodes de décision

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

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

 

<<

Avril

 

Aujourd'hui

LuMaMeJeVeSaDi
31123456
78910111213
14151617181920
21222324252627
2829301234
Aucun évènement à venir les 6 prochains mois