Logic for mathematicians / A. G. Hamilton.
Por: Hamilton, A G.
Editor: Cambridge : Cambridge University Press, 1988Edición: Rev. edition.Descripción: viii, 228 p. : gráficos ; 23 cm.ISBN: 0521368650.Tema(s): Lógica matemática | Teoría lógica | Cálculo de predicados | Cálculo de proposiciones | Cálculo de relaciones | AlgoritmosClasificación CDD: 511.3Tipo de ítem | Ubicación actual | Signatura | Copia número | Estado | Fecha de vencimiento |
---|---|---|---|---|---|
Libros | Biblioteca Laura Manzo - Universidad Nacional de Quilmes SALA | 511.3 HAM (Navegar estantería) | 1 | Disponible | |
Libros | Biblioteca Laura Manzo - Universidad Nacional de Quilmes CIRCULACION | 511.3 HAM (Navegar estantería) | 2 | Disponible | |
Libros | Biblioteca Laura Manzo - Universidad Nacional de Quilmes CIRCULACION | 511.3 HAM (Navegar estantería) | 3 | Disponible |
, Ubicación: SALA Cerrar el navegador de estanterías
No hay imagen de cubierta disponible | ||||||||
511.3 BOS Introducción al simbolismo lógico | 511.3 FER Lógica matemática | 511.3 FRE Estudios sobre semántica | 511.3 HAM Logic for mathematicians / | 511.3 ISA Lenguajes, gramáticas y autómatas : | 511.3 LUN Lógica y lenguajes formales | 511.3 LUN Lógica y lenguajes formales |
Glosario de símbolos: p.220-223.
Incluye referencias (p.219) e índice (p. 224-228).
TECNICATURA EN PROGRAMACION INFORMATICA LICENCIATURA EN INFORMATICA
ELEMENTOS DE PROGRAMACION Y LOGICA 2016