Logic : a foundation for computer science / V. Sperschneider & G. Antoniou.
Series International computer science seriesEditor: Wokingham, England : Addison-Wesley, c1991Descripción: xii, 495 p. : il. ; 24 cmISBN: 0201565145Tema(s): Computer science | Artificial intelligence | Logic, Symbolic and mathematicalOtra clasificación: 03-01 (03B10 03B70 68-01 68Q60)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 Sp751 (Browse shelf) | Available | A-6779 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
03 Sm6665 Fundamentals of logic / | 03 Sm666f Forever undecided : | 03 Sm666t-2 Theory of formal systems / | 03 Sp751 Logic : | 03 Sp759 Teoria generale dei numeri relativi : | 03 St817 Unvollständigkeit und Unentscheidbarkeit : | 03 St839 Matrix logic and mind : |
Incluye referencias bibliográficas (p. [485]-490) e índice.
MR, 93a:03002
There are no comments on this title.