Accueil
Abécédaire
Recherche
Intranet
Contact
Système d'information en philosophie des sciences
Méthodes de tri
Auteur
|
Titre
|
Année
1
Résultats 1 à 8 sur un total de 8 résultats.
Monographie
Gödel
Pierre CASSOU-NOGUÈS
Les Belles Lettres - 2008
Monographie
Logique, sémantique, métamathématique, 1923-1944
: Tome II
Alfred TARSKI, Gilles-Gaston GRANGER
Armand Colin - 1974
Monographie
Logique, sémantique, métamathématique. 1923-1944
: Tome I
Alfred TARSKI, Gilles-Gaston GRANGER
Armand Colin - 1972
Monographie
Les Fondements des mathématiques
: Intuitionnisme, théorie de la démonstration
Arend HEYTING
Gauthier-Villars - 1955
Article
Logique, mathématique, métamathématique
Gilles-Gaston GRANGER
Dans :
Philosophie des mathématiques et théorie de la connaissance. L’Œuvre de Jules Vuillemin - 2005
Article
Le programme de Hilbert
Kosta DOSEN
Dans :
Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Article
Vers un métamathématicien artificiel
Jacques PITRAT
Dans :
Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Article
Jacques Herbrand
Jacques DUBUCS, Paul ÉGRÉ
Dans :
L’Épistémologie française, 1830-1970 - 2006
1
Haut de page
Retour à la page précédente