Universidad Nacional de Luján
Catálogo Bibliográfico
Col. Esp. ESLAI/LFC-1987
(1) Inv.: 21.12590 S.T.: Col. Esp. ESLAI/LFC-1987
Avron, Arnon
Gentzenizing schroeder-heister's natural extension of natural deduction
[MONOGRAFÍA]. -- , 1987. -- . -- (LFCS Report Series /Laboratory for Foundations of Computer Science (LFCS)
; 87-20)(1) Inv.: 21.12590 S.T.: Col. Esp. ESLAI/LFC-1987
Visualización de Monografía
U. Info.
(1) [Cent]
Tipo de Material
(M) MONOGRAFÍA
Título
Gentzenizing schroeder-heister's natural extension of natural deduction
Responsables Principales
Lugar
Edinburgh
Fecha de Publicación
1987
Título de Colección/Serie
Fecha de Alta
28/02/2013 09:48:28
Número de Registro
37584
Pérgamo OPAC Web