| Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 29, 30, 57, 126, 181, 232, 235, 236, 237, 248, 289, 363, 410, 411, 414, 441, 463, 482, 510 |
| Фейс Р. — Модальная логика | 24, 129, 130, 132, 209, 223, 228, 246, 257, 277, 279, 302, 309, 323 |
| Карри Х.Б. — Основания математической логики | 5, 6, 7, 8, 14, 40, 51, 53, 54, 55, 62, 73, 78, 91, 98, 106, 113, 128, 133, 134, 137, 140, 141, 142, 169,184, 185, 223, 228, 236, 238, 239, 270, 349, 351, 353, 357, 358, 362, 396, 407, 409, 416, 418, 421, 423, 438, 443, 450, 500, 502, 507, 516, 517 |
|
|
О проекте