Articles liés à Lectures on Linear Logic
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurCenter for the Study of Language and Information Publica Tion
- Date d'édition1992
- ISBN 10 0937073784
- ISBN 13 9780937073780
- ReliureRelié
- Langueanglais
- Nombre de pages215
Résultats de recherche pour Lectures on Linear Logic
Image fournie par le vendeur
Lectures on Linear Logic CSLI Lectures Notes, 29
Edité par
Center for the Study of Language and Information Publica Tion, 1992
ISBN 10 : 0937073784
ISBN 13 : 9780937073780
Ancien ou d'occasion
Couverture rigide
Vendeur : books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
gebundene Ausgabe. Etat : 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. N° de réf. du vendeur 2157738
Quantité disponible : 1 disponible(s)