logic: its syntax and semantics (1995)

by Linear
Venue:In Proceedings of the workshop on Advances in linear logic