"Corrigendum to "Curry-Howard for incomplete first-order logic derivations ..."

Murdoch James Gabbay, Dominic P. Mulligan (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics