https://123dok.net/document/y6e9rg7n-natural-deduction-herbrand-constructive-logics-howard-correspondence-dummett.html