Intuitionnisme et théorie de la démonstration
By: Université catholique de Louvain, Institut supérieur de philosophie.
Contributors: Université catholique de Louvain (1970- ). Institut supérieur de philosophie.; Séminaire de logique formalisée (1978-1979 : Institut supérieur de philosophie, Université catholique de Louvain)
Series: Cahiers du Centre de logique -- 1; Cahiers du Centre de logique (Université catholique de Louvain (1970-    ). Centre de logique)
Publisher: Cabay
Published: 1980
Place of publication: Louvain-la-Neuve
Language: fre
Number of pages: 118
Subjects: Intuitionistic mathematics -- Congresses
Notes: "Exposés présentés au Séminaire de logique formalisée de l'Institut supérieur de philosophie de l'UCL pendant l'année académique 1978-1979."

Includes bibliographies