Lectures on Linear Logic
Troelstra, A. S.
ISBN 10: 0937073776 ISBN 13: 9780937073773
Published by Center for the Study of Language and Inf, 1992
Used
Soft cover
From
GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
AbeBooks Seller since January 28, 2020
This specific item is no longer available.
About this Item
Description:
Unread book in perfect condition. Seller Inventory # 1550713
Synopsis:
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.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Lectures on Linear Logic
Publisher: Center for the Study of Language and Inf
Publication Date: 1992
Binding: Soft cover
Condition: As New
Top Search Results from the AbeBooks Marketplace
Seller Image
Lectures on Linear Logic (Volume 29) (Lecture Notes)
Published by
Center for the Study of Language and Inf, 1992
ISBN 10: 0937073776
ISBN 13: 9780937073773
Used
Softcover
Seller: Greenworld Books, Arlington, TX, U.S.A.
Seller rating 5 out of 5 stars
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