ББК 22.12 Д72
УДК 517
Драгалин А.Г.
Математическая логика и основания математики. Математический интуиционизм. Введение в теорию доказательств, 1979 г.
УДК 517
Драгалин А.Г.
Математическая логика и основания математики. Математический интуиционизм. Введение в теорию доказательств, 1979 г.
| Доступность и MD5 хэш | Формат | Размер |
|---|---|---|
| 8a479372fd8770af67c865e2dc5977ae | djvu | 2.59 мб |