Parcourir par

  • Revues
  • Séminaires
  • Livres
  • Congrès
  • Sources

Geodesic


    Parcourir par

    • Revues
    • Séminaires
    • Livres
    • Congrès
    • Sources
Séminaire de Philosophie et Mathématiques
Année 1993
Précédent Suivant

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
  • À propos
  • Contact
  • Mentions légales
  • Politique de confidentialité