FR  l  English

Cahiers du Centre de logique

De reeks "Cahiers du Centre de logique" is de voortzetting van de publicatie van dezelfde naam, vorig gepubliceerd door het Centrum voor logica van de "Université catholique de Louvain". Voorstellingen voor de realisatie van een nummer zijn voorgelegd aan de redactieraad voor goedkeuring.

Redacteur: M. Crabbé

Redactieraad: 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).

Letterzetting: D. Dzierzgowski

Secretaris: D. Servais

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

In voorbereiding

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

Elk voorstel voor een nieuwe nummer is welkom. Contact