Cahiers du Centre de Logique, vol. 1

(épuisé / out of print)

Références

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

Table des matières

[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 

 

 

6 octobre 2009