Title: Dokazatelʹstvo i ego poisk
Subjects: DEDUCTIO (Computer program language), Symbolic and mathematical Logic, Semantics, Programming languages (Electronic computers)