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 blanda
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 0937073776
- ISBN 13 9780937073773
- EncuadernaciónTapa blanda
- IdiomaInglés
- Número de páginas215
- Contacto del fabricanteno disponible
EUR 27,78
EUR 17,72 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 27,78
EUR 17,72 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Lectures on Linear Logic: 29 (Center for the Study...
Imagen del vendedor
Lectures on Linear Logic
Publicado por
Center for the Study of Language and Inf, 1992
ISBN 10: 0937073776
ISBN 13: 9780937073773
Nuevo
Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 1550713-n
Cantidad disponible: 1 disponibles
Imagen del vendedor
Lectures on Linear Logic
Publicado por
Center for the Study of Language and Inf, 1992
ISBN 10: 0937073776
ISBN 13: 9780937073773
Antiguo o usado
Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 1550713
Cantidad disponible: 1 disponibles
Imagen del vendedor
Lectures on Linear Logic
Publicado por
Center for the Study of Language and Inf, 1992
ISBN 10: 0937073776
ISBN 13: 9780937073773
Nuevo
Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 1550713-n
Cantidad disponible: 1 disponibles
Imagen del vendedor
Lectures on Linear Logic
Publicado por
Center for the Study of Language and Inf, 1992
ISBN 10: 0937073776
ISBN 13: 9780937073773
Antiguo o usado
Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 1550713
Cantidad disponible: 1 disponibles