Еще
Логотип LiveLib

Это бета-версия LiveLib. Сейчас доступна часть функций, остальные из основной версии будут добавляться постепенно.

Издания книги

Введение в математическую логику

Андрей Колмогоров, Альберт Драгалин