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 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
| 03 R224m The mathematics of metamathematics / | 03 R224m The mathematics of metamathematics / | 03 R277 A first course in computability / | 03 R332 Logic for computer science / | 03 R351 The theory of probability : | 03 R351n Nomological statements and admissible operations / | 03 R431h Hypothetical reasoning / |
Incluye referencias bibliográficas (p. 255-256) e índice.
Click on an image to view it in the image viewer
There are no comments on this title.