|
NL l English
Cahiers du Centre de logique
La collection « Cahiers du Centre de logique »
est la continuation de la publication de même nom, initialement
publiée par le Centre de logique de l'Université
catholique de Louvain. Les propositions pour la réalisation
d'un volume sont soumises à l'approbation du comité
de rédaction.
Directeur de la collection : M. Crabbé
Comité de rédaction
Composition : D. Dzierzgowski
Secrétaire : D. Servais
Éditeur : Academia-L'Harmattan
- Cahier 17
One Hundred Years of Axiomatic Set Theory, ed. by Roland
HINNION and Thierry
LIBERT.
- Cahier 16
Proceedings of the 70th anniversary NF meeting in Cambridge, ed. by M. CRABBÉ and T. E. FORSTER.
- Cahier 15
La conception sémantique de la vérité
d'Alfred Tarski à Jaakko Hintikka, par S. RICHARD.
- Cahier 14
Logica in communicatie, par K. DE CLERCQ.
- Cahier 13
Une théorie positive des ensembles, par O. ESSER.
- Cahier 12
Aspects de la dualité en mathématique, par P. VAN PRAAG.
- Cahier 11
Definability in Arithmetics and Computability, par CHR. MICHAUX.
- Cahier 10 (épuisé)
— consulter ce n° [PDF]
Naive Set Theory with a Universal Set, par M. R. HOLMES.
- Cahier 9 — consulter ce n° [PDF]
Méthodes et analyse non-standard, sous la direction
de A. PÉTRY.
-
Cahier
8
The Curry-Howard Isomorphism, sous la direction de
Ph. DE GROOTE.
- Cahier 7 (épuisé)
L'antifondation en logique et en théorie des ensembles, sous la direction de R. HINNION.
- Cahier 6 (épuisé)
— consulter ce n° [PDF]
Logique et informatique.
- Cahier 5 (épuisé)
Quine's New Foundations (An introduction), par T. E. FORSTER.
- Cahier 4 (épuisé)
— consulter ce n° [PDF]
La théorie des ensembles de Quine.
- Cahier 3 (épuisé) — consulter ce n° [PDF]
Forcing et sémantique de Kripke-Joyal, par J.
L. MOENS
- Cahier 2 (épuisé) — consulter ce n° [PDF]
Textes de J. Pieters.
- Cahier 1 (épuisé)
— consulter ce n° [PDF]
Intuitionnisme et théorie de la démonstration.
Nous sommes à l'écoute de toute proposition pour
un cahier ultérieur. Contactez-nous.
|
