Centre de logique Louvain-la-Neuve, Belgique
Université catholique de Louvain . Centre de logique
Université catholique de Louvain (1970- ). Centre de logique
Centre de logique
VIAF ID: 134421966 ( Corporate )
Permalink: http://viaf.org/viaf/134421966
Preferred Forms
- 110 2 _ ‡a Centre de logique
- 110 2 _ ‡a Centre de logique (Louvain-la-Neuve, Belgique)
-
- 110 2 _ ‡a Université catholique de Louvain (1970- ). ‡b Centre de logique
- 110 2 _ ‡a Université catholique de Louvain ‡b Centre de logique
- 110 2 _ ‡a Université catholique de Louvain . Centre de logique
4xx's: Alternate Name Forms (11)
5xx's: Related Names (3)
- 510 2 _ ‡a Institut Supérieur de Philosophie Louvain
- 551 _ _ ‡a Löwen ‡4 orta ‡4 http://d-nb.info/standards/elementset/gnd#placeOfBusiness
- 510 2 _ ‡a Université catholique de Louvain ‡b Institut supérieur de philosophie ‡4 adue ‡4 http://d-nb.info/standards/elementset/gnd#hierarchicalSuperiorOfTheCorporateBody ‡e Ueberordnung
Works
Title | Sources |
---|---|
Aspects de la dualité en mathématique | |
Cah. Cent. log. | |
Cahiers du Centre de logique | |
The Curry-Howard isomorphism | |
Frege et le projet des " Grundlagen ". | |
Intuitionnisme et théorie de la démonstration : [exposés] | |
L'Anti-fondation en logique et en théorie des ensembles, 1992: | |
Origines de la découverte par Leibniz du calcul infinitésimal. | |
théorie des types de Russell et Whitehead. |