Le raisonnement en mathématiques et en sciences expérimentales : [actes du Colloque international de logique mathématique]
Salvato in:
| Autori principali: | Bernays, Paul, 1888-1977 (Autore), Beth, Evert Willem, 1908-1964 (Autore), Fraïssé, Roland, 1920-2008, mathématicien (Autore), Gonseth, Ferdinand, 1890-1975 (Autore), Heyting, Arend, 1898-1980 (Autore), Mostowski, Andrzej, 1913-1975 (Autore), Skolem, Thoralf, 1887-1963 (Autore) |
|---|---|
| Ente Autore: | Colloques internationaux du Centre national de la recherche scientifique :Paris |
| Natura: | Livre papier |
| Lingua: | Français |
| Pubblicazione: |
Paris :
Éditions du CNRS
1958.
|
| Serie: | Colloques internationaux du Centre national de la recherche scientifique
LXX |
| Soggetti: | |
| Nota: |
CNRS = Centre national de la recherche scientifique |
| Autres localisations: | Voir dans le Sudoc |
Documenti analoghi
-
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
(Livre papier)
Mostowski, Andrzej, 1913-1975
North-Holland Pub. Co., 1964 -
Epistémologie mathématique et psychologie : essai sur les relations entre la logique formelle et la pensée réelle
(Livre papier)
Beth, Evert Willem, 1908-1964, et al.
Presses universitaires de France, 1961 -
Cours de logique mathématique. Récursivité et constructibilité
(Livre papier)
Fraïssé, Roland, 1920-2008, mathématicien
Gauthier-Villars, 1975 -
Cours de logique mathématique. Théorie des modèles
(Livre papier)
Fraïssé, Roland, 1920-2008, mathématicien
Gauthier-Villars, 1972 -
Cours de logique mathématique. Relation et formule logique
(Livre papier)
Fraïssé, Roland, 1920-2008, mathématicien
Gauthier-Villars : DL 1971, 1971