Resource Logics. Proof-Theoretical Investigations (1991)

by D Roorda