Гильберт Д.
Основы теоретической логики/ Орчуулагч Ерофеева А.А.; Редактор Яновской С.А.; - Орос ИП Тривиум 2000 - 302
исчисление высказываний исчисление классов расширенное исчисление предикатов
512510180x 11000
логика теоретическая логика исчисление классов
Основы теоретической логики/ Орчуулагч Ерофеева А.А.; Редактор Яновской С.А.; - Орос ИП Тривиум 2000 - 302
исчисление высказываний исчисление классов расширенное исчисление предикатов
512510180x 11000
логика теоретическая логика исчисление классов