Матлог, математическая логика, философия математики и логики. В общем то, что любим. Буду дополняться, наверное.
Лекции по ZFC.pdf
Клини С.К.-Введение в метаматематику.djvu
Колмогоров, Драгалин - математическая логика.pdf
Эллиот Мендельсон-Введение в математическую логику-Наука (1976).pdf
Четыре части "справочника" по матлогу под редакцией Барвайса
Post #826
363
- 👍 4
- ❤ 1