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 : D. Batens (Gent), M. Crabbé (Louvain-la-Neuve), J. De Greef (Louvain-la-Neuve), Ph. de Groote (Nancy), D. Dzierzgowski, T. E. Forster (Cambridge), R. Hinnion (Bruxelles), M. R. Holmes (Boise), Th. Lucas (Louvain-la-Neuve), J. Meheus (Gent), Chr. Michaux (Mons), A. Pétry (Liège).

Composition : D. Dzierzgowski

Secrétaire : D. Servais

Éditeur : Academia-Bruylant

• 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.

En préparation

• Cahier 17. One Hundred Years of Axiomatic Set Theory, ed. by R. HINNION and Th. LIBERT.
• Th. LIBERT, More studies on the axiom of comprehension.

Nous sommes à l'écoute de toute proposition pour un cahier ultérieur. Contactez-nous.