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