Title: Advances in linear logic
Subjects: Symbolic and mathematical Logic, Congresses, Logic, symbolic and mathematical