Bernhard Weiss

(1990-1999)

X
Proof and canonical proof

1997

Synthese 113/2

Open Access Link