Логика: задачи и их решение. Микиртумов И.Б.