Edward Hermann Haeusler

1 published title

Advances in natural deduction : a celebration in Dag Prawitz's work

(Contributor)

1 edition