|
Elementary logics : a procedural perspective / Dov Gabbay
Elementary logics : a procedural perspective / Dov Gabbay
Summary Not Available
| Parallel Title | |
|---|---|
| Author | Gabbay, Dov M.1945- |
| ISBN | 0137263651 (alk. paper) |
| ISSN | |
| Call Number | QA76 .G223 1998 |
| Publication | London |
| Publisher | Prentice Hall Europe |
| Year | 1998 |
| Physical Description |
xi, 365 p.ill.24 cm
|
| Subject |
Computer science.
Logic, Symbolic and mathematical. |
| Related Names | |
| URL |
Availability:
| Perpustakaan CIAST | ( 1 Copy ) |