Kirill Sidorov
Справочник математической логики
Используйте приложение APKPure
Историческую версию Mathematical logic можно получить на Android