Чёрч Алонзо
Введение в математическую логику. Том 1
Товары для саморазвития и самопознания