SMS dit: Математическая логика как метод теоретического исследования формальных моментов мышления; Ученые записки; № 41 : Проблемы методологии и логики наук