TY BOOK TI Basics of Formal Logic KW logic KW philosophy AU Biryukov, N.I. AU Gorshenev, D.S. AU Reshetova, O.M. PY 2025 PB MGIMO University Publishing House