ББК 517.1 М34
УДК 512.8+164
Идельсон А.В., Минц Г.Е.
Математическая логика и основания математики - Математическая теория логического вывода, 1967 г.
УДК 512.8+164
Идельсон А.В., Минц Г.Е.
Математическая логика и основания математики - Математическая теория логического вывода, 1967 г.
| Доступность и MD5 хэш | Формат | Размер |
|---|---|---|
| 6ef94554e95debdf7065ec9382b9d9fb | 12.2 мб |