Формирование математической логики (Стяжкин Н.И.)