NL  l  FR

Cahiers du Centre de logique

The collection "Cahiers du Centre de logique" is the continuation of the publication with the same name that was previously edited by the "Centre de logique" of the "Université catholique de Louvain". Concrete proposals for volumes will be submitted to the approval of the editorial board.

Series Editor: M. Crabbé

Editorial Board: 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).

Typesetting: D. Dzierzgowski

Secretary: D. Servais

Publisher: 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, by S. RICHARD.
  
• Cahier 14
  Logica in communicatie, by K. DE CLERCQ.
  
• Cahier 13
  Une théorie positive des ensembles, by O. ESSER.
  
• Cahier 12
  Aspects de la dualité en mathématique, by P. VAN PRAAG.
  
• Cahier 11
  Definability in Arithmetics and Computability, by C. MICHAUX.
  
• Cahier 10 (out of print) — consult this volume [PDF]
  Naive Set Theory with a Universal Set, by M. R. HOLMES.
  
• Cahier 9 — consult this volume [PDF]
  Méthodes et analyse non-standard, edited by A. PÉTRY.
  
• Cahier 8
  The Curry-Howard Isomorphism, edited by Ph. DE GROOTE.
  
• Cahier 7 (out of print)
  L'antifondation en logique et en théorie des ensembles, edited by R. HINNION.
  
• Cahier 6 (out of print) — consult this volume [PDF]
  Logique et informatique.
  
• Cahier 5 (out of print)
  Quine's New Foundations (An introduction), by T. E. FORSTER.
  
• Cahier 4 (out of print) — consult this volume [PDF]
  La théorie des ensembles de Quine.
  
• Cahier 3 (out of print) — consult this volume [PDF]
  Forcing et sémantique de Kripke-Joyal, par J. L. MOENS.
  
• Cahier 2 (out of print) — consult this volume [PDF]
  Textes de J. Pieters.
  
• Cahier 1 (out of print) — consult this volume [PDF]
  Intuitionnisme et théorie de la démonstration.

Forthcoming

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

We would be glad to read any suggestion for a next volume of our Cahiers. Please contact us.