Шифр: 510.6 Ч-43
Чень Ч. Математическая логика и автоматическое доказательство теорем : пер. с англ. / Ч. Чень, Р. Ли ; под ред. Ю. С. Маслова. – М. : Мысль, 1983. – 358 с. – (Мат. логика и основания математики). – 2,20
Чень Ч. Математическая логика и автоматическое доказательство теорем : пер. с англ. / Ч. Чень, Р. Ли ; под ред. Ю. С. Маслова. – М. : Мысль, 1983. – 358 с. – (Мат. логика и основания математики). – 2,20
Статистика використання: Видач: 3
Де отримати
| Місце видачі: | Кількість: | В наявності: |
| Абонемент загальний к. 358 | 2 | 2 |