TY - BOOK AU - Градштейн,И.С. TI - Прямая и обратная теоремы: Элементы алгебры логики PY - 1972/// CY - Москва PB - Наука. Гл. ред. физ.-мат. лит. KW - Теоремы - Доказательство KW - Математическая логика ER -