Cahiers du Centre de Logique

Cahiers du Centre de Logique, vol. 1

Intuitionisme et théorie de la démonstration
volume 1, Cabay, Louvain-la-Neuve (Belgique), 1980, 120 pp.

[PDF]	[Préliminaires]
Lucas Th.	Les thèses de la logique intuitionniste	1-10
Drabbe J.	Présentation topologique du calcul propositionnel intuitionniste	11-18
Drabbe J.	Logique propositionnelle intuitionniste et forcing	19-26
Moreau M.	Modèles de Kripke	27-44
Moens J.L.	Déduction naturelle	45-68
Lucas Th.	L'interprétation « Dialectica »	69-82
Crabbé M.	Normalisation du calcul des fonctionnelles récursives primitives	83-94
Leonard R.	Remarques sur la philosophie de Brouwer	95-118


	17 l 16 l 15 l 14 l 13 l 12 l 11 l 10 l 9 l 8 l 7 l 6 l 5 l 4 l 3 l 2

23 octobre 2015