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) - Hardcover
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.
Search results for Lectures on Linear Logic: 29 (Center for the Study...
Seller Image
Lectures on Linear Logic CSLI Lectures Notes, 29
Published by
Center for the Study of Language and Information Publica Tion, 1992
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
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
Quantity: 1 available