Advances in Linear Logic

Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic. The subject develops along the lines of denotational semantics,... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 0521559618
• ISBN13: 9780521559614
• Release Date: June 1995
• Publisher: Cambridge University Press
• Length: 400 Pages
• Weight: 1.25 lbs.
• Dimensions: 0.9" x 6.1" x 9.0"