В настоящее время на этой странице нет текста. Вы можете найти упоминание данного названия на других страницах, или найти соответствующие записи журналов. У вас нет разрешения создать данную страницу.
Категория:Proof theory
Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску
Страницы в категории «Proof theory»
Показано 40 страниц из 40, находящихся в данной категории.
B
C
- Английская Википедия:Cirquent calculus
- Английская Википедия:Completeness (logic)
- Английская Википедия:Completeness of atomic initial sequents
- Английская Википедия:Conservative extension
- Английская Википедия:Consistency
- Английская Википедия:Curry–Howard correspondence
- Английская Википедия:Cut-elimination theorem