Items related to Lectures on Linear Logic (Volume 29) (Lecture Notes)

Lectures on Linear Logic (Volume 29) (Lecture Notes) - Softcover

 
Image Not Available

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.

"synopsis" may belong to another edition of this title.

Buy Used

Condition: As New
Unread book in perfect condition... View this item

Shipping: US$ 2.64
Within U.S.A.

Destination, rates & speeds

Add to basket

Other Popular Editions of the Same Title

Image Not Available

Featured Edition

ISBN 10:  0937073784 ISBN 13:  9780937073780
Publisher: Center for the Study of Language..., 1992
Hardcover

Search results for Lectures on Linear Logic (Volume 29) (Lecture Notes)

Seller Image

Troelstra, A. S.
ISBN 10: 0937073776 ISBN 13: 9780937073773
Used Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: As New. Unread book in perfect condition. Seller Inventory # 1550713

Contact seller

Buy Used

US$ 30.50
Convert currency
Shipping: US$ 2.64
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Troelstra, A. S.
ISBN 10: 0937073776 ISBN 13: 9780937073773
New Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 1550713-n

Contact seller

Buy New

US$ 48.48
Convert currency
Shipping: US$ 2.64
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Troelstra, A. S.
ISBN 10: 0937073776 ISBN 13: 9780937073773
New Softcover

Seller: GF Books, Inc., Hawthorne, CA, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Book is in NEW condition. 0.75. Seller Inventory # 0937073776-2-1

Contact seller

Buy New

US$ 51.13
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Troelstra, A. S.
ISBN 10: 0937073776 ISBN 13: 9780937073773
Used Softcover

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: As New. Unread book in perfect condition. Seller Inventory # 1550713

Contact seller

Buy Used

US$ 39.25
Convert currency
Shipping: US$ 19.42
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Troelstra, A. S.
ISBN 10: 0937073776 ISBN 13: 9780937073773
New Softcover

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 1550713-n

Contact seller

Buy New

US$ 65.16
Convert currency
Shipping: US$ 19.42
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket