Système d’information en philosophie des sciences
Information system on philosophy of science

Résultats 1 à 8 sur un total de 8 résultats.

Méthodes de tri
Auteur  Tri par ordre croissant Tri par ordre décroissant | Titre  Tri par ordre croissant Tri par ordre décroissant | Année  Tri par ordre croissant Tri par ordre décroissant

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


Haut de page

Retour à la page précédente

Mentions légales © SIPS, 2021.
Dernière mise à jour : Lundi 06 décembre 2021