| [ Первая страница] | © ВИНИТИ, 1999 | |
| Математическая логика | 510.6 (УДК) | |
| • | Логические и логико-математические языки | 510.62 |
| • | Классические логические теории | 510.63 |
| • | Неклассические логики | 510.64 |
| • | Логико-математические теории | 510.65 |
| • | Поиск вывода в логических и логико-математических исчислениях | 510.662 |
| • | Логическое программирование | 510.663 |
| • | Теория моделей | 510.67 |