GitHub repository: AlexRogalskiy/mathbook
Description: Введение в математическую логику и роды структур