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

Enregistré dans:

Bibliografiske detaljer
Hovedforfatter:	Largeault, Jean, 1930-1995
Andre forfattere:	Bernays, Paul, 1888-1977 (Collaborateur), Brouwer, Luitzen Egbertus Jan, 1881-1966 (Collaborateur), Gentzen, Gerhard, 1909-1945 (Collaborateur)
Format:	Livre papier
Sprog:	Français
Udgivet:	Paris : Librairie philosophique J. Vrin 1992.
Serier:	Mathesis
Fag:	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