- Tytuł pełny:
- 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
- Autorzy:
- Ladrière, Jean (1921-2007)
- Wydawca:
- Louvain : E. Nauwelaerts ; Paris : Gauthier-Villars
- Rok wydania:
- 1957
- Seria:
- Collection de Logique Mathématique. ; Série B, ; Monographies Réunies par M. R. Feys ; 2
- Zawartość serii:
- Collection de Logique Mathématique. Série B, Monographies Réunies par M. R. Feys 0530-7562 2
- Opis fizyczny:
- XII, [3], 715 s. ; 25 cm
- Uwagi:
- Bibliogr. s. [501]-546
Indeksy - Temat:
- Podstawy arytmetyki.
Formalizacja (matematyka).
Twierdzenie Gödla. - Książka