324750 Полнота исчисления Ламбека : диссертация ... доктора физико-математических наук : 01.01.06 Пентус, Мати Рейнович 2000, Москва

Математика. Диссертация Полнота исчисления Ламбека : диссертация ... доктора физико-математических наук : 01.01.06, Москва, 2000