Опис документа:
| |
| Шифр: |
51 |
| Авт. знак: |
Zamb |
| Автор: | Zambella D. |
| Назва: | Chapters on bounded arithmetic and on provability logic |
| Від. щодо назв.: |
Academisch proefschrift ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam... |
| Серія: |
ILLC dissertation series 1994-6 |
| Відповідальність: |
D. Zambella; Universiteit van Amsterdam, Institute for logic, language and computation |
| Видавництво: | [S. n.] |
| Місто: | Amsterdam |
| Рік: | 1994 |
| Сторінок: | 77 p. |
| ББК: |
В121 |
| ISBN: | 90-74795-10-2 |
| Тип документу: |
Книга |
| Документ знаходиться у фонді МЕХАНІКО-МАТЕМАТИЧНОГО факультету за адресою: проспект акад. Глушкова 4е, другий поверх, кім. 24,25. |
|
|
|
|
