From
GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
AbeBooks Seller since January 28, 2020
Unread book in perfect condition. Seller Inventory # 1550713
The initial sections of this text deal with syntactical matters such as logical formalism, cut-elimination, and the embedding of intuitionistic logic in classical linear logic. Concluding chapters focus on proofnets for the multiplicative fragment and the algorithmic interpretation of cut-elimination in proofnets.
Title: Lectures on Linear Logic
Publisher: Center for the Study of Language and Inf
Publication Date: 1992
Binding: Soft cover
Condition: As New
Seller: Greenworld Books, Arlington, TX, U.S.A.
Condition: good. Fast Free Shipping â" Good condition book with a firm cover and clean, readable pages. Shows normal use, including some light wear or limited notes highlighting, yet remains a dependable copy overall. Supplemental items like CDs or access codes may not be included. Seller Inventory # GWV.0937073776.G