Логика и математика: Решение задач с полками и книгами