escudo

Universidad Nacional de Luján
Catálogo Bibliográfico

Col. Esp. ESLAI/LFC-1987


  

The semantics and proof theory of linear logic

[PUBLICACIÓN SERIADA]. --
Edinburgh :

University of Edinburgh. Departament of Computer Science

, . -- . -- (LFCS Report Series / ; 87-27)

  (1) Inv.: 21.12595 S.T.: Col. Esp. ESLAI/LFC-1987
  Visualización de Monografía
U. Info.
(1) [Cent]
Tipo de Material
(S) PUBLICACIÓN SERIADA
Título

The semantics and proof theory of linear logic

Responsables Principales
Lugar
Edinburgh
Editorial
University of Edinburgh. Departament of Computer Science
Fecha de Publicación
1987
Título de Colección/Serie
  LFCS Report Series / ; 87-27
Fecha de Alta
26/02/2013 09:40:49
Número de Registro
37544
1 Ejemplar
U. Info. Inventario S.T. / Ubicación
21.12595 Col. Esp. ESLAI/LFC-1987

Consultas y sugerencias: biblio@unlu.edu.ar

logo Pérgamo Pérgamo OPAC Web

Formulario para Solicitud de Material

Avron, Arnon
The semantics and proof theory of linear logic [PUBLICACIÓN SERIADA]. -- Edinburgh : University of Edinburgh. Departament of Computer Science, 1987. -- (LFCS Report Series / Laboratory for Foundations of Computer Science (LFCS); 87-27)

(1) Inv.: 21.12595 S.T.: Col. Esp. ESLAI/LFC-1987
Solicitante: