1961年と1962年の一連の講義で、DagPrawitzは自然演繹の包括的なまとめを行った。
在1961年和1962年的一系列研讨会中，DagPrawitz给出了自然演绎演算的全面总结，并把根岑对相继式演算做的很多工作转运到了自然演绎框架中。