Мощенский В.А.
Лекции по математической логике - Мн Изд-во БГУ им В.И.Ленина 1973 - 159
ЭШФ С-84931
Орос хэл дээр,
математика исчисление высказываний алгоритмы
Лекции по математической логике - Мн Изд-во БГУ им В.И.Ленина 1973 - 159
ЭШФ С-84931
Орос хэл дээр,
математика исчисление высказываний алгоритмы