|
|
|
|
| LEADER |
01795nam a22004097a 4500 |
| 001 |
371437 |
| 008 |
930312t19921992xxg ||| |||| 00| 0 fre d |
| 009 |
PPN002811553 |
| 020 |
|
|
|a 2711610594 (br.) :
|c 320 FRF
|
| 024 |
|
|
|a 9782711610594
|
| 041 |
1 |
|
|a fre
|h ger
|h eng
|
| 080 |
|
|
|a 51
|
| 082 |
|
|
|a 510
|
| 084 |
|
|
|a 00Axx. 2000
|
| 100 |
1 |
|
|a Largeault, Jean,
|d 1930-1995.
|
| 245 |
1 |
0 |
|a Intuitionisme et théorie de la démonstration
|c textes de Bernays, Brouwer, Gentzen... [et al.] ; réunis, traduits et présentés par Jean Largeault.
|
| 260 |
|
|
|a Paris :
|b Librairie philosophique J. Vrin,
|c 1992.
|
| 300 |
|
|
|a 1 vol. (566 p.) ;
|c 21 cm.
|
| 490 |
1 |
|
|a Mathesis
|
| 504 |
|
|
|a Bibliogr. p. 544-564. Notes bibliogr.
|
| 600 |
|
|
|a Bernays, Paul,
|d 1888-1977
|x Critique et interprétation
|
| 600 |
|
|
|a Brouwer, Luitzen Egbertus Jan,
|d 1881-1966
|x Critique et interprétation
|
| 600 |
|
|
|a Gödel, Kurt,
|d 1906-1978
|x Critique et interprétation
|
| 600 |
|
|
|a Gentzen, Gerhard,
|d 1909-1945
|x Critique et interprétation
|
| 600 |
|
|
|a Hilbert, David,
|d 1862-1943
|c mathématicien
|x Critique et interprétation
|
| 600 |
|
|
|a Weyl, Hermann,
|d 1885-1955
|c physicien théoricien
|x Critique et interprétation
|
| 650 |
|
|
|a Mathématiques
|x Fondements
|
| 650 |
|
|
|a Mathématiques
|x Philosophie
|
| 650 |
|
|
|a Mathématiques intuitionnistes
|
| 650 |
|
|
|a Raisonnement
|
| 650 |
|
|
|a Logique mathématique non classique
|
| 650 |
|
|
|a Intuitionnisme
|
| 650 |
|
|
|a Formalisme (mathématiques)
|
| 700 |
1 |
|
|a Bernays, Paul,
|d 1888-1977.
|4 clb
|
| 700 |
1 |
|
|a Brouwer, Luitzen Egbertus Jan,
|d 1881-1966.
|4 clb
|
| 700 |
1 |
|
|a Gentzen, Gerhard,
|d 1909-1945.
|4 clb
|
| 997 |
|
|
|0 371437
|1 Livre papier
|a Ressource papier
|c 0/Orléans/
|c 1/Orléans/BU Sciences, Technologies, STAPS/
|z Orléans, BU Sciences, Technologies, STAPS, A9129
|
