Прямая и обратная теоремы. Элементы алгебры логики - Градштейн И. С. Израиль Соломонович (Москва, Наука, 1972)