|
|
|
|
LEADER |
00629nam a22001457a 4500 |
001 |
23157 |
008 |
930920s1957 xx ||| |||| 00| 0 fre d |
041 |
| |
|
|a fre
|
100 |
|
|
|a Ladrière, Jean,
|d 1921-
|
245 |
1 |
4 |
|a Les Limitations internes des formalismes, étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques, par Jean Ladrière,...
|
260 |
|
|
|a Louvain, E. Rauwelaerts ;
|a Paris, Gauthier-Villars,
|c 1957. In-4ů XVI-715 p. [Ech. int. 4351-57] -IIIa-IVa-.
|
500 |
|
|
|a Collection de logique mathématique, série B, n˚2
|
993 |
|
|
|a Livre
|
994 |
|
|
|a BC
|
997 |
|
|
|0 23157
|