Items related to Lectures on Linear Logic: 29 (Center for the Study...

Lectures on Linear Logic: 29 (Center for the Study of Language and Information Publication Lecture Notes) - Softcover

 
9780937073773: Lectures on Linear Logic: 29 (Center for the Study of Language and Information Publication Lecture Notes)

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: Very Good
pp.ix, 200 pages, a very good paperback...
View this item

£ 3.80 shipping within United Kingdom

Destination, rates & speeds

Other Popular Editions of the Same Title

9780937073780: Lectures on Linear Logic: 29 (Center for the Study of Language and Information Publication Lecture Notes)

Featured Edition

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

Search results for Lectures on Linear Logic: 29 (Center for the Study...

Stock Image

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

Seller: G. & J. CHESTERS, TAMWORTH, United Kingdom

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

Soft cover. Condition: Very Good. pp.ix, 200 pages, a very good paperback, from a uk university library [0937073776]. Seller Inventory # 133939

Contact seller

Buy Used

£ 11.10
Convert currency
Shipping: £ 3.80
Within United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket