Еще
Логотип LiveLib

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

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

Первое знакомство с математической логикой

Иван Депман