Linear Logic in Computer Science /

This book illustrates linear logic in the application of proof theory to computer science.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Ehrhard, Thomas, 1961-, Girard, Jean-Yves, Ruet, Paul, Scott, Philip
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cambridge : Cambridge University Press, 2004.
Colección:London Mathematical Society lecture note series ; no. 316.
Temas:
Computer science > Mathematics.
Logic, Symbolic and mathematical.
Proof theory.
Informatique > Mathématiques.
Logique symbolique et mathématique.
Théorie de la preuve.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Computer science > Mathematics
Logic, Symbolic and mathematical
Proof theory
Acceso en línea:Texto completo

Internet

Texto completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares