- Нові надходження
- Простий пошук
- Розширений пошук
- Допомога
- Автори
- Видавництва
- Серії
- Тезаурус (Рубрики)
- Публічні полиці
Рубрика: теорія доведень
Показаны записи 6 из 6
| Вышестоящие рубрики | Заглавие рубрики | См. также | Подрубрики | Документы | |
|---|---|---|---|---|---|
| в рубрике | с учетом подрубрик | ||||
| МАТЕМАТИКА. ПРИРОДНИЧІ НАУКИ => Математика => фундаментальні та загальні питання математики => теорія доведень |
загальні задачі теорії доведень | ||||
| МАТЕМАТИКА. ПРИРОДНИЧІ НАУКИ => Математика => фундаментальні та загальні питання математики => теорія доведень |
застосування ординалів в теорії доведень | ||||
| МАТЕМАТИКА. ПРИРОДНИЧІ НАУКИ => Математика => фундаментальні та загальні питання математики => теорія доведень |
інтерпретації та відносна несуперечливість | ||||
| МАТЕМАТИКА. ПРИРОДНИЧІ НАУКИ => Математика => фундаментальні та загальні питання математики => теорія доведень |
пошук доведень в логічних численнях | 3 | |||
| МАТЕМАТИКА. ПРИРОДНИЧІ НАУКИ => Математика => фундаментальні та загальні питання математики => теорія доведень |
різноманітні системи доведень | 4 | |||
| МАТЕМАТИКА. ПРИРОДНИЧІ НАУКИ => Математика => фундаментальні та загальні питання математики => теорія доведень |
складність доведень | ||||