Verwandte Artikel zu 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
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagThe Center for the Study of Language and Information Publications
- Erscheinungsdatum1992
- ISBN 10 0937073784
- ISBN 13 9780937073780
- EinbandTapa dura
- SpracheEnglisch
- Anzahl der Seiten215
Suchergebnisse für Lectures on Linear Logic: 29 (Center for the Study...
Foto des Verkäufers
Lectures on Linear Logic CSLI Lectures Notes, 29
ISBN 10: 0937073784
ISBN 13: 9780937073780
Gebraucht
Hardcover
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Verkäuferbewertung 5 von 5 Sternen
gebundene Ausgabe. Zustand: 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. Bestandsnummer des Verkäufers 2157738
Anzahl: 1 verfügbar