TY BOOK TI Основы формальной логики KW логика KW философия AU Бирюков, Н.И. AU Горшенев, Д.С. AU Решетова, О.М. PY 2025 PB Издательский дом МГИМО