Analytic and non-analytic proofs (1984)

by F Pfenning
Venue:of LNCS