Title: Gnoseologicheskie problemy formalizat︠s︡ii
Subjects: Science, Methodology, Symbolic and mathematical Logic