Опис документа:
| |
Шифр: |
51 |
Авт. знак: |
Verb |
Автор: | Verbrugge L.C. |
Назва: | Efficient metamathematics |
Від. щодо назв.: |
Academisch proefschrift ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam... |
Серія: |
ILLC dissertation series, 1993, no. 3 |
Відповідальність: |
L.C. Verbrugge; Universiteit van Amsterdam, faculteit wiskunde en informatica |
Видавництво: | [S. n.] |
Місто: | Amsterdam |
Рік: | 1993 |
Сторінок: | X, 132 p. |
ББК: |
В13 |
ISBN: | 90-800769-8-8 |
Тип документу: |
Книга |
Документ знаходиться у фонді МЕХАНІКО-МАТЕМАТИЧНОГО факультету за адресою: проспект акад. Глушкова 4е, другий поверх, кім. 24,25. |
|
|
Пошук: заповніть хоча б одне з полів
|
|