493233
Алгоритм поиска натурального вывода для интуиционистской логики высказываний : диссертация ... кандидата философских наук : 09.00.07
2002, Москва
Логика. Диссертация Алгоритм поиска натурального вывода для интуиционистской логики высказываний : диссертация ... кандидата философских наук : 09.00.07, Москва, 2002