Диссертация, - 480 руб., доставка 1-3 часа, с 10-19 (Московское время), кроме воскресенья
Автореферат - 240 руб., доставка 1-3 часа, с 10-19 (Московское время), кроме воскресенья
Макаров Валентин Валентинович. Алгоритм поиска натурального вывода для интуиционистской логики высказываний : диссертация ... кандидата философских наук : 09.00.07.- Москва, 2002.- 113 с.: ил. РГБ ОД, 61 03-9/95-1
