Artículos relacionados a 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) - Tapa dura
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
- EditorialThe Center for the Study of Language and Information Publications
- Año de publicación1992
- ISBN 10 0937073784
- ISBN 13 9780937073780
- EncuadernaciónTapa dura
- IdiomaInglés
- Número de páginas215
- Contacto del fabricanteno disponible
Resultados de la búsqueda para Lectures on Linear Logic: 29 (Center for the Study...
Imagen del vendedor
Lectures on Linear Logic CSLI Lectures Notes, 29
Publicado por
Center for the Study of Language and Information Publica Tion, 1992
ISBN 10: 0937073784
ISBN 13: 9780937073780
Antiguo o usado
Tapa dura
Librería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemania
Calificación del vendedor: 5 de 5 estrellas
gebundene Ausgabe. Condición: 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 ref. del artículo: 2157738
Cantidad disponible: 1 disponibles