Advances in Linear Logic (London Mathematical Society Lecture Note Series)

0 valoración promedio
( 0 valoraciones por Goodreads )
 
9780521559614: Advances in Linear Logic (London Mathematical Society Lecture Note Series)

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Book Description:

Including a general introduction to linear logic that will ensure its use by the novice as well as the expert, this volume is divided into five parts: category theory; complexity and expressivity; proof theory; proof nets and the geometry of interaction.

"Sobre este título" puede pertenecer a otra edición de este libro.

Comprar nuevo Ver libro

Gastos de envío: EUR 3,37
De Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de envío

Añadir al carrito

Los mejores resultados en AbeBooks

1.

Girard, Jean-Yves
Editorial: Cambridge University Press 2003-11 (2003)
ISBN 10: 0521559618 ISBN 13: 9780521559614
Nuevos Cantidad: 5
Impresión bajo demanda
Librería
Chiron Media
(Wallingford, Reino Unido)
Valoración
[?]

Descripción Cambridge University Press 2003-11, 2003. Estado de conservación: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 24-48 hours from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Nº de ref. de la librería NU-LSI-06896012

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 54,33
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,37
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

2.

Editorial: CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2003)
ISBN 10: 0521559618 ISBN 13: 9780521559614
Nuevos Paperback Cantidad: 10
Impresión bajo demanda
Librería
The Book Depository US
(London, Reino Unido)
Valoración
[?]

Descripción CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2003. Paperback. Estado de conservación: New. New. Language: English . Brand New Book ***** Print on Demand *****. 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. Nº de ref. de la librería AAV9780521559614

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 66,58
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

3.

Editorial: CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2003)
ISBN 10: 0521559618 ISBN 13: 9780521559614
Nuevos Paperback Cantidad: 10
Impresión bajo demanda
Librería
The Book Depository
(London, Reino Unido)
Valoración
[?]

Descripción CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2003. Paperback. Estado de conservación: New. New.. Language: English . Brand New Book ***** Print on Demand *****.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. Nº de ref. de la librería AAV9780521559614

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 67,07
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

4.

Girard, Jean-Yves
Editorial: Cambridge University Press (2016)
ISBN 10: 0521559618 ISBN 13: 9780521559614
Nuevos Paperback Cantidad: 1
Impresión bajo demanda
Librería
Ria Christie Collections
(Uxbridge, Reino Unido)
Valoración
[?]

Descripción Cambridge University Press, 2016. Paperback. Estado de conservación: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Nº de ref. de la librería ria9780521559614_lsuk

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 64,90
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,37
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

5.

EDITED BY JEAN-YVES GIRARD , YVES LAFONT , LAURENT REGNIER
ISBN 10: 0521559618 ISBN 13: 9780521559614
Nuevos Paperback Cantidad: 1
Librería
Herb Tandree Philosophy Books
(Stroud, GLOS, Reino Unido)
Valoración
[?]

Descripción 1995. Paperback. Estado de conservación: NEW. 9780521559614 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Nº de ref. de la librería HTANDREE0463242

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 64,59
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 9,02
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

6.

Girard, Jean-Yves
Editorial: Cambridge University Press (1995)
ISBN 10: 0521559618 ISBN 13: 9780521559614
Nuevos Cantidad: > 20
Impresión bajo demanda
Librería
Books2Anywhere
(Fairford, GLOS, Reino Unido)
Valoración
[?]

Descripción Cambridge University Press, 1995. PAP. Estado de conservación: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. de la librería LQ-9780521559614

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 66,04
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 10,14
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

7.

Girard, Jean-Yves
Editorial: Cambridge University Press (1995)
ISBN 10: 0521559618 ISBN 13: 9780521559614
Nuevos Cantidad: > 20
Impresión bajo demanda
Librería
Pbshop
(Wood Dale, IL, Estados Unidos de America)
Valoración
[?]

Descripción Cambridge University Press, 1995. PAP. Estado de conservación: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. de la librería IQ-9780521559614

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 76,04
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,38
A Estados Unidos de America
Destinos, gastos y plazos de envío

8.

Girard, Jean-Yves [Editor]; Lafont, Yves [Editor]; Regnier, Laurent [Editor];
Editorial: Cambridge University Press (1995)
ISBN 10: 0521559618 ISBN 13: 9780521559614
Nuevos Paperback Cantidad: 10
Librería
Ergodebooks
(RICHMOND, TX, Estados Unidos de America)
Valoración
[?]

Descripción Cambridge University Press, 1995. Paperback. Estado de conservación: New. Nº de ref. de la librería INGM9780521559614

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 85,85
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,22
A Estados Unidos de America
Destinos, gastos y plazos de envío

9.

Editorial: Cambridge University Press (1995)
ISBN 10: 0521559618 ISBN 13: 9780521559614
Nuevos Paperback Primera edición Cantidad: 1
Librería
Irish Booksellers
(Rumford, ME, Estados Unidos de America)
Valoración
[?]

Descripción Cambridge University Press, 1995. Paperback. Estado de conservación: New. book. Nº de ref. de la librería M0521559618

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 96,80
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

10.

Editorial: Cambridge University Press
ISBN 10: 0521559618 ISBN 13: 9780521559614
Nuevos Paperback Cantidad: > 20
Librería
BuySomeBooks
(Las Vegas, NV, Estados Unidos de America)
Valoración
[?]

Descripción Cambridge University Press. Paperback. Estado de conservación: New. Paperback. 400 pages. Dimensions: 9.0in. x 6.1in. x 1.1in.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 books use by the novice as well as the expert. Mathematicians and computer scientists will learn much from this book. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Paperback. Nº de ref. de la librería 9780521559614

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 101,45
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

Existen otras copia(s) de este libro

Ver todos los resultados de su búsqueda