[distribution] Cabay

Louvain-la-Neuve, [Belgique]

Œuvres4

Éditions4

Auteurs distincts2

Médiane pages5928–118 pages

Période1980–19823 année(s) d'activité

Distribution par nombre de pages

<100 p.

100-199 p.

200-299 p.

300-399 p.

400-499 p.

500-699 p.

≥700 p.

Auteur	Œuvres
Centre de logique. Louvain-la-Neuve, Belgique	3
J Moens	1

Année	Titre	Pages
1982	Forcing et sémantique de Kripke-Joyal	28
1981	Origines de la découverte par Leibniz du calcul infinitésimal ; Frege et le projet des " Grundlagen " ; La Théorie des types de Runell et Whitehead	59
1980	Cahiers du Centre de logique	—
1980	Intuitionnisme et théorie de la démonstration