A new constrcutive logic: classical logic (1991)

by van Bakel, Lescanne
Venue:Mathematical Structures in Computer Science