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