Logic for computer science / Steve Reeves, Michael Clarke.
Series International computer science seriesEditor: Wokingham, England : Addison-Wesley, c1990Descripción: xi, 260 p. : il. ; 24 cmISBN: 0201416433Tema(s): Logic, Symbolic and mathematicalOtra clasificación: 03-01 (03B70)Item type | Home library | Shelving location | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Libros | Instituto de Matemática, CONICET-UNS | Libros ordenados por tema | 03 R332 (Browse shelf) | Available | A-6780 |
Incluye referencias bibliográficas (p. 255-256) e índice.
There are no comments on this title.