This volume gives an overview of linear logic that will be useful to mathematicians and computer scientists working in this area.

Advances in Linear Logic 2003, Cambridge University Press, Cambridge, England

ISBN-13: 9780521559614

Trade paperback

Select