Электронный каталог: Стяжкин Николай Иванович - Формирование математической логики