Упражнения по логике. Учебное пособие
Теория автоматов и формальных языков. Учебник
Логика учебник для средней школы
Философские вопросы современной формальной логики
Толкование аналитики Аристотеля
