|
|
|
|
LEADER |
00773nam a22002537a 4500 |
001 |
290590 |
008 |
920413s1959 xxe ||| |||| 00| 0 eng d |
020 |
|
|
|a 0710070780 (br.)
|
041 |
0 |
|
|a eng
|
100 |
1 |
|
|a Nagel, Ernest,
|d 1901-1985.
|
245 |
1 |
0 |
|a Gödel's proof
|c by Ernest Nagel and James R. Newman.
|
260 |
|
|
|a London :
|b Routledge & Kegan Paul,
|c impr. 1959, cop. 1958.
|
300 |
|
|
|a 1 vol. (ix-118 p.) ;
|c 19 cm.
|
500 |
|
|
|a Réimpression : 1976
|
504 |
|
|
|a Bibliogr. p. 115. Index
|
561 |
|
|
|5 UCO
|a Don Abbé Turpin
|
650 |
|
|
|a Gödel, Théorème de
|
650 |
|
|
|a Mathématiques
|x Philosophie
|
650 |
|
|
|a Logique symbolique et mathématique
|
700 |
1 |
|
|a Newman, James R.,
|d 1907-1966.
|4 aut
|
993 |
|
|
|a Livre
|
994 |
|
|
|a BC
|
995 |
|
|
|a 009503730
|
997 |
|
|
|0 290590
|