WikiDer > Вложенное последовательное исчисление
Nested sequent calculus
 | Эта статья не цитировать любой источники. (Июнь 2017 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
В теория структурных доказательств, то вложенное последовательное исчисление это переформулировка последовательное исчисление позволять глубокий вывод.
 | Этот математическая логика-связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |