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), 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-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 9consulter 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é)
    Forcing et sémantique de Kripke-Joyal, par J. L. MOENS
  • Cahier 2 (épuisé)
    Textes de J. Pieters.
  • Cahier 1 (épuisé) — consulter ce n° [PDF]
    Intuitionnisme et théorie de la démonstration.

En préparation

  • Th. LIBERT, More studies on the axiom of comprehension.

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

 

r3 mars 2014