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 1989
Précédent
Suivant
Sommaire du
Fascicule no. 1
Théorie physique et incomplétude au sens de Gödel
Loi Maurice
;
Thom René
;
Cartier Pierre
;
Caveing Maurice
(éd.)
Théorie physique et incomplétude au sens de Gödel
Ransford, E.
p. 1-24
Sommaire du
Fascicule no. 2
L'identité en mathématiques constructives
Loi Maurice
;
Thom René
;
Cartier Pierre
;
Caveing Maurice
(éd.)
L'identité en mathématiques constructives
Van Dalen, Dirk
p. 1-16
Sommaire du
Fascicule no. 3
Existence et non-existence en logique mathématique
Loi Maurice
;
Thom René
;
Cartier Pierre
;
Caveing Maurice
(éd.)
Existence et non-existence en logique mathématique
Stahl, Gérold
p. 1-24