SPHM, Volume (1993) no. 2

Table of contents

Les irrationalités de la logique

Loi Maurice; Thom René; Cartier Pierre; Caveing Maurice (ed.)

List of lectures

Reflections on Formalism and Reductionism in Logic and Computer Science

Longo, Giuseppe

9 p.

Some Aspects of Impredicativity

Longo, Giuseppe

19 p.

Appendix: from the Journal of Symbolic Logic

Longo, Giuseppe

5 p.