Каталог / ФІЛОСОФСЬКІ НАУКИ / логіка
скачать файл:
- Назва:
- Макаров Валентин Валентинович. Алгоритм поиска натурального вывода для интуиционистской логики высказываний
- Короткий опис:
- Макаров Валентин Валентинович. Алгоритм поиска натурального вывода для интуиционистской логики высказываний : диссертация ... кандидата философских наук : 09.00.07.- Москва, 2002.- 113 с.: ил. РГБ ОД, 61 03-9/95-1
- Стоимость доставки:
- 230.00 руб