Смаллиан Р. Вовеки неразрешимое.Путь к Геделю через занимательные загадки.