@book{Biryukov2025basics, author={Biryukov, N.I. and Gorshenev, D.S. and Reshetova, O.M.}, title={Basics of Formal Logic}, publisher={MGIMO University Publishing House}, year={2025}, pages={328}, }