Logic for computer science
Gallier, Jean H.
- Título:
- Logic for computer science: foundations of automatic theorem proving
- Autor:
- Gallier, Jean H.
- Temas:
- LÓGICA MATEMÁTICA ; MATEMÁTICA DE LA COMPUTACIÓN ;
- Edición:
- 1st ed.
- Localización electrónica:
- Descripción física:
- xv, 511 p. ; 21 cm.
- ISBN:
- 0-471-61546-3
- Idioma:
- Inglés,
- País:
- Estados Unidos
- Publicación:
- Nueva York : John Wiley and Sons, c1987
Puede solicitar más fácilmente el ejemplar con: F.4.1 GAL
Se cuenta con disponibilidad inmediata para llevar a domicilio.
Disponibilidad Actual Para Préstamo: 1 Disponibilidad Actual Para Sala de Lectura: 0 Cantidad Actual de Reservas: 0 Cantidad Actual de Préstamos: 0