Курсы » Пропозициональные исчисления классической логики

Пропозициональные исчисления классической логики

Сергей Гуров, к.ф.-м.н.

ф-т ВМиК МГУ