Séminaire de Philosophie et Mathématiques, Volume (1993)

Issue no. 1 Table of Contents

Le début de la théorie des automates

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

Les débuts de la théorie des automates

Perrin, Dominique

p. 1-17

Issue 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

article no. 1, 9 p.

Some Aspects of Impredicativity

Longo, Giuseppe

article no. 2, 19 p.

Appendix: from the Journal of Symbolic Logic

Longo, Giuseppe

article no. 3, 5 p.

Issue no. 3 Table of Contents

Naissance de la biologie moléculaire

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

Naissance de la biologie moléculaire

Morange, Michel

p. 1-9

Issue no. 4 Table of Contents

Nouvelles orientations en philosophie des mathématiques

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

Nouvelles orientations en philosophie des mathématiques

Muller, Gert H.

p. 1-5

Issue no. 5 Table of Contents

Logique quantique

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

Logique quantique

Delmas-Rigoutsos, Yannis

p. 1-23

Issue no. 6 Table of Contents

Hilbert et la logique interne des mathématiques

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

Hilbert et la logique interne des mathématiques

Gauthier, Yvon

p. 1-15