Author: Jean-Yves Girard
Publisher: Cambridge University Press
ISBN: 0521559618
Category : Mathematics
Languages : en
Pages : 401
Book Description
This volume gives an overview of linear logic that will be useful to mathematicians and computer scientists working in this area.