| Название | Скачать |
|---|---|
| Лекции по математической логике ФИТ I-II семестр (MFH) | Скачать |
| Лекции по математической логике ФИТ II семестр (А. Таранцов) | Скачать |
| Лекции по математической логике (мехмат, д.ф.м.н. Гончаров С.С.) | Скачать 1 часть Скачать 2 часть |
| А.К. Гуц Математическая логика и теория алгоритмов | Скачать |
| Чёрч А. Введение в математическую логику | * |
| С. Клини Математическая логика | * |
| А. Робинсон Введение в теорию моделей и метаматематику алгебры | * |