Revues
Séminaires
Livres
Thèses
Auteurs
OFF
Revues
Séminaires
Livres
Thèses
Auteurs
Tout
Tout
Auteur
Titre
Bibliographie
Plein texte
Rechercher
NOT
Entre
et
Auteur
Tout
Auteur
Titre
Date
Bibliographie
Plein texte
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
Gauthier, Yvon
p. 1-15