Logic: its Syntax and Semantics (1995)

by Linear
Venue:Advances in Linear Logic