Logique intuitionniste - Méthodes de décision

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

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

 

<<

Septembre

 

Aujourd'hui

LuMaMeJeVeSaDi
1234567
891011121314
15161718192021
22232425262728
293012345
Aucun évènement à venir les 6 prochains mois