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

Sommaire du Fascicule no. 1

Le début de la théorie des automates

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

Les débuts de la théorie des automates

Perrin, Dominique

p. 1-17

Sommaire du Fascicule no. 2

Les irrationalités de la logique

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

Liste complète des exposés

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.

Sommaire du Fascicule no. 3

Naissance de la biologie moléculaire

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

Naissance de la biologie moléculaire

Morange, Michel

p. 1-9

Sommaire du Fascicule no. 4

Nouvelles orientations en philosophie des mathématiques

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

Nouvelles orientations en philosophie des mathématiques

Muller, Gert H.

p. 1-5

Sommaire du Fascicule no. 5

Logique quantique

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

Logique quantique

Delmas-Rigoutsos, Yannis

p. 1-23

Sommaire du Fascicule no. 6

Hilbert et la logique interne des mathématiques

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

Hilbert et la logique interne des mathématiques

p. 1-15