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

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

Troelstra, A. S.

 
Image Not Available
Hardcover
ISBN 10: 0937073784 ISBN 13: 9780937073780
Publisher: Center for the Study of Language and Inf, 1992

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
200 Seiten Das hier angebotene...
View this item
Image Not Available
US$ 58.60

Convert currency

US$ 14.75 shipping from Germany to U.S.A.

Destination, rates & speeds
Free 30-day returns

Other Popular Editions of the Same Title

Image Not Available

Featured Edition

ISBN 10:  0937073776 ISBN 13:  9780937073773
Publisher: Center for the Study of Language..., 1992
Softcover

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

Seller Image

Troelstra, A. S.:
ISBN 10: 0937073784 ISBN 13: 9780937073780
Used Hardcover

Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany

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

gebundene Ausgabe. Condition: Gut. 200 Seiten Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 545. Seller Inventory # 2157738

Contact seller

Buy Used

US$ 58.60
Convert currency
Shipping: US$ 14.75
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket