Title: Formalʹnyĭ vyvod i logicheskie ischislenii͡a︡
Subjects: Symbolic and mathematical Logic