Опис документа:
| |
| Шифр: |
51 |
| Авт. знак: |
Most |
| Автор: | Mostowski A. |
| Назва: | Sentences undecidable in formalized arithmetic |
| Від. щодо назв.: |
An exposition of the theory of Kurt Godel |
| Серія: |
Studies in logic and foundations of mathematics |
| Відом. про відповідальність серії: |
L. Brouwer, E-Feth, A. Heyting |
| Відповідальність: |
A. Mostowski |
| Видавництво: | North-Holland |
| Місто: | Amsterdam |
| Рік: | 1957 |
| Сторінок: | 8, 118 p. |
| Тип документу: |
Книга |
| Документ знаходиться у фонді МЕХАНІКО-МАТЕМАТИЧНОГО факультету за адресою: проспект акад. Глушкова 4е, другий поверх, кім. 24,25. |
|
|
|
|
