Без заголовка

Могу порекомендовать например такую книжку, там и слово "мета" в названии и содержание про логики, вычислимости и пр. "с.к.клини - введение в метаматематику". (Щас читаю для тренировки мозгов и повышения настроения)