Exemplaires: Intuitionisme et théorie de la démonstration

Enregistré dans:

Détails bibliographiques
Auteur principal:	Largeault, Jean, 1930-1995
Autres auteurs:	Bernays, Paul, 1888-1977 (Collaborateur), Brouwer, Luitzen Egbertus Jan, 1881-1966 (Collaborateur), Gentzen, Gerhard, 1909-1945 (Collaborateur)
Format:	Livre papier
Langue:	Français
Publié:	Paris : Librairie philosophique J. Vrin 1992.
Collection:	Mathesis
Sujets:	Bernays, Paul, > 1888-1977 > Critique et interprétation Brouwer, Luitzen Egbertus Jan, > 1881-1966 > Critique et interprétation Gödel, Kurt, > 1906-1978 > Critique et interprétation Gentzen, Gerhard, > 1909-1945 > Critique et interprétation Hilbert, David, > 1862-1943 > mathématicien > Critique et interprétation Weyl, Hermann, > 1885-1955 > physicien théoricien > Critique et interprétation Mathématiques > Fondements Mathématiques > Philosophie Mathématiques intuitionnistes Raisonnement Logique mathématique non classique Intuitionnisme Formalisme (mathématiques)
Autres localisations:	Voir dans le Sudoc

	Localisation	Cote	Type de prêt	Statut
	Magasin, Sciences	A9129	Empruntable	Disponible