Văn bản này: Прямая и обратная теоремы. Элементы алгебры логики