Handbook of logic in computer science / editado por S. Abramsky, T. S. E. Maibaum y Dov M. Gabbay.
Tipo de material: TextoEditor: Oxford : University, 1999Descripción: 6 v. 23 cmISBN: 0198537611 (v. 2); 0198537352 (v. 1)Tema(s): Computación | Lógica simbólica | Lógica matemáticaClasificación CDD: 001.6Tipo de ítem | Ubicación actual | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|
Libro Unico | Biblioteca Central Acceso Directo | 001.6, Ab161-1, 1 | 1 | Disponible (Ninguno uso de restricciones) | 41653-1 |
V.1:Background: mathematical structures.-V.2:Background: computational structures.- V.1 y 2.-