Digital Library
From the Editorial Board
-
Translation (en) by M.J. Creswell: The Soundness of First and Second Order S5 Modal Logic
-
Translation (en) by M.J. Creswell: Quasi-completeness of Second Order Modal Logic S5 and Completeness of First Order S5
-
Translation (e) by Thomas Forster.
-
See Göran Sundholm, "Review of Michael Dummett, Elements of Intuitionism", p. 93.
-
Includes Bayart (1958) and Bayart (1959).
PhD theses
-
ULB, 1974. Translation by Thomas Forster.
-
ULB, 2004.
-
MIT, 1974.
-
ULg, 1976.
-
Nantes, 2000.