Artículos relacionados a Advances in Linear Logic Paperback: 222 (London Mathematical...
Advances in Linear Logic Paperback: 222 (London Mathematical Society Lecture Note Series, Series Number 222) - Tapa blanda
Sinopsis
This volume gives an overview of linear logic that will be useful to mathematicians and computer scientists working in this area.
"Sinopsis" puede pertenecer a otra edición de este libro.
Product Description
Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic. The subject develops along the lines of denotational semantics, proof nets and the geometry of interaction. Its basic dynamical nature has attracted computer scientists, and various promising connections have been made in the areas of optimal program execution, interaction nets and knowledge representation. This book is the refereed proceedings of the first international meeting on linear logic held at Cornell University, in June 1993. Survey papers devoted to specific areas of linear logic, as well as an extensive general introduction to the subject by J.-Y. Girard, have been added, so as to make this book a valuable tool both for the beginner and for the advanced researcher.
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 67,97
EUR 7,67 gastos de envío en Estados Unidos de America
Destinos, gastos y plazos de envíoResultados de la búsqueda para Advances in Linear Logic Paperback: 222 (London Mathematical...
Imagen de archivo
Advances in Linear Logic
Publicado por
Cambridge University Press, 1995
ISBN 10: 0521559618
ISBN 13: 9780521559614
Antiguo o usado
Tapa blanda
Original o primera edición
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. 1st Edition. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Nº de ref. del artículo: 6078154-6
Cantidad disponible: 1 disponibles
Imagen del vendedor
Advances in linear logic ed. Lecture note series 222.
Publicado por
Cambridge, Cambridge University Press, 1995
ISBN 10: 0521559618
ISBN 13: 9780521559614
Antiguo o usado
Softcover
Librería: Antiquariat Bookfarm, Löbnitz, Alemania
Calificación del vendedor: 5 de 5 estrellas
Softcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 03 ADV 9780521559614 Sprache: Englisch Gewicht in Gramm: 550. Nº de ref. del artículo: 2502467
Gastos de envío:
EUR 16,00
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen del vendedor
Advances in Linear Logic
Publicado por
Cambridge University Press, Cambridge, 1995
ISBN 10: 0521559618
ISBN 13: 9780521559614
Antiguo o usado
Brossura
Librería: Di Mano in Mano Soc. Coop, Cambiago, MI, Italia
Calificación del vendedor: 5 de 5 estrellas
Brossura. Testo in inglese / Text in english. Numero di tavole: 0 pp.vi; 389 9780521559614 altezza 23 larghezza 15.3 Esemplare in buone condizioni.Copertina con tracce di polvere e segni di usura ai bordi e agli angoli.Pagine ingiallite ai bordi.Adesivo in seconda di copertina. Nº de ref. del artículo: LISCMA0118586-126888
Cantidad disponible: 1 disponibles
Imagen del vendedor
Advances in linear logic ed. Lecture note series 222.
Publicado por
Cambridge, Cambridge University Press, 1995
ISBN 10: 0521559618
ISBN 13: 9780521559614
Antiguo o usado
Softcover
Librería: Antiquariat Bookfarm, Löbnitz, Alemania
Calificación del vendedor: 5 de 5 estrellas
Softcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 03 ADV 9780521559614 Sprache: Englisch Gewicht in Gramm: 1150. Nº de ref. del artículo: 2508861
Gastos de envío:
EUR 40,00
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
Advances in Linear Logic (London Mathematical Society Lecture Note Series, Series Number 222)
Publicado por
Cambridge University Press, 1995
ISBN 10: 0521559618
ISBN 13: 9780521559614
Nuevo
Tapa blanda
Librería: Best Price, Torrance, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. SUPER FAST SHIPPING. Nº de ref. del artículo: 9780521559614
Cantidad disponible: 1 disponibles
Imagen de archivo
Advances in Linear Logic (London Mathematical Society Lecture Note Series, Series Number 222)
Publicado por
Cambridge University Press, 1995
ISBN 10: 0521559618
ISBN 13: 9780521559614
Nuevo
Tapa blanda
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: ABLIING23Feb2416190007222
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Advances in Linear Logic (London Mathematical Society Lecture Note Series, Series Number 222)
Publicado por
Cambridge University Press, 1995
ISBN 10: 0521559618
ISBN 13: 9780521559614
Nuevo
Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9780521559614
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Advances in Linear Logic (Paperback)
Publicado por
Cambridge University Press, Cambridge, 1995
ISBN 10: 0521559618
ISBN 13: 9780521559614
Nuevo
Paperback
Librería: Grand Eagle Retail, Mason, OH, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: new. Paperback. This volume gives an overview of linear logic in five parts: category theory; complexity and expressivity; proof theory; proof nets; and the geometry of interaction. The book includes a general introduction to linear logic that will ensure this book's use by the novice as well as the expert. Mathematicians and computer scientists will learn much from this book. This volume gives an overview of linear logic in five parts: category theory; complexity and expressivity; proof theory; proof nets; and the geometry of interaction. The book includes a general introduction to linear logic that will ensure this book's use by the novice as well as the expert. Mathematicians and computer scientists will learn much from this book. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Nº de ref. del artículo: 9780521559614
Cantidad disponible: 1 disponibles
Imagen de archivo
Advances in Linear Logic (London Mathematical Society Lecture Note Series, Series Number 222)
Publicado por
Cambridge University Press, 1995
ISBN 10: 0521559618
ISBN 13: 9780521559614
Nuevo
Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9780521559614_new
Gastos de envío:
EUR 13,84
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Advances in Linear Logic (London Mathematical Society Lecture Note Series)
Publicado por
Cambridge University Press 2010-02-22, 2010
ISBN 10: 0521559618
ISBN 13: 9780521559614
Nuevo
Paperback
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Paperback. Condición: New. Nº de ref. del artículo: 6666-IUK-9780521559614
Gastos de envío:
EUR 17,90
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 10 disponibles