Les bibliothèques de prêt de la ville de Paris
Les bibliothèques universitaires
La BnF
L'encyclopédie Wikipédia
L'Encyclopædia Universalis
La bibliothèque du film
La bibliothèque du cinéma François Truffaut
La médiathèque musicale de Paris
La médiathèque de la Philharmonie de Paris
Logique mathématique
-
Type d'autorité
- Concept
-
Autre(s) nom(s)
- Logique formelle ;
- Logique moderne symbolique
Choix d'un sujet lié
Choix de relance de recherche
Recherche simple :
- Sujet : Logique mathématique
Mathématiques -- Philosophie
-
Type d'autorité
- Concept
-
Autre(s) nom(s)
- Contribution à la philosophie des mathématiques ;
- Épistémologie des mathématiques
Mathématiques
-
Type d'autorité
- Concept
-
Autre(s) nom(s)
- Mathématiques appliquées ;
- Mathématiques modernes
Logique informatique
-
Type d'autorité
- Concept
-
Autre(s) nom(s)
- Informatique -- Logique mathématique ;
- Logique de l'informatique
Martin, Roger (1928-....)
-
Type d'autorité
- Personne
-
- 24/02/1928
-
Pays
- France
-
Langue(s)
- français
-
Activité(s) principale(s)
- Diplômé de l'École nationale supérieure agronomique de Rennes. - Membre du Souvenir napoléonien et de l'Association pour la conservation des monuments napoléoniens (en 2006). - Collectionneur de cartes postales
Choix du tri des documents
Sélectionner le nombre de résultat par colonne
Documents en rayon : 187
par Bournez, Olivier ; Chetrite, Raphaël (1981-....) ; Fijalkow, Nathanaël (19..-....) ; Formenti, Enrico (1968-....) ; Kaufmann, Emilie (1987-....) ; Mattei, Pierre-Alexandre (1989-....) ; Patras, Frédéric (1967-....) ; Rifford, Ludovic (1974-....) ; Romashchenko, Andrei Evgenjevich (1975-....) ; Villata, Serena ; Martin, Bruno (19..-....) (professeur d'informatique) ; Riva, Sara (19..-....) ; Ollinger, Nicolas
CNRS Edition
2022 -
-
Disponible - 519.8 INF
Niveau 2 - Sciences
par Thayse, André (1940-....)
Hermès science publications
2004 -
-
Disponible - 517.2 THA
Niveau 2 - Sciences
par Genoud, Augustin
LEP
2018 -
-
Disponible - 519.6 GEN
Niveau 2 - Sciences
par Duparc, Jacques (19..-....), metteur en scène
Presses polytechniques et universitaires romandes
2015 -
-
Disponible - 510.1 DUP
Niveau 2 - Sciences
par Gondran, Michel ; Laleuf, Jean-Claude ; Héry, Jean-François
Éd. Eyrolles
1995
-
Disponible - 510.1 GON
Niveau 2 - Sciences
Payot
1992
-
Disponible - 510.1 LOG
Niveau 2 - Sciences
par Polster, Burkard (1965-....)
Marabout
2016 -
-
Disponible - 51 POL
Niveau 2 - Sciences
Vrin
2017 -
-
Disponible - 51 GAN
Niveau 2 - Sciences
par Dummett, Michael Anthony Eardley (1925-2011)
Ed. de Minuit
1991
-
Disponible - 161 DUM
Niveau 2 - Philosophie
par Nelsen, Roger B.
Hermann
2013 -
-
Disponible - 51 NEL
Niveau 2 - Sciences
Documents en ligne : 30
![Les principes des mathématiques : avec un appendice sur la philosophie des mathématiques de Kant ([Reprod. en fac-sim.]) / par Louis Couturat](/images/couvertures-generiques/cg-livre-numerique.jpg)
Dans América
par Prioul, Françoise
Presses Sorbonne Nouvelle
2015
Résultat de OpenEdition : Journals
par Bailly, Francis ; Bonnay, Denis ; Dehornoy, Patrick ; Dowek, Gilles ; Girard, Jean-Yves ; Joinet, Jean-Baptiste ; Livet, Pierre ; Longo, Giuseppe ; Paul, Thierry ; Tronçon, Samuel
Éditions de la Sorbonne
2017
Résultat de OpenEdition : Books
Dans Études créoles
par Lainy, Rochambeau
Laboratoire Parole et Langage
2022
Résultat de OpenEdition : Journals
Dans Espaço e Economia
par Silva, Márcio Rufino
Núcleo de Pesquisa Espaço & Economia
2017
Résultat de OpenEdition : Journals
Dans Mathématiques et sciences humaines
par Parlebas, Pierre
Centre d’analyse et de mathématique sociales de l’EHESS
2011
Résultat de OpenEdition : Journals