Диссертация, - 480 руб., доставка 1-3 часа, с 10-19 (Московское время), кроме воскресенья
Автореферат - 240 руб., доставка 1-3 часа, с 10-19 (Московское время), кроме воскресенья
Бурлуцкий Владимир Владимирович. Реализация обратного метода установления выводимости для модальной логики КТ : диссертация ... кандидата физико-математических наук : 05.13.01.- Томск, 2001.- 103 с.: ил. РГБ ОД, 61 02-1/796-5
