Proof nets for classical logic (0)

by E P Robinson
Venue:Journal of Logic and Computation