Logic in computer science
| Permalink: | http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:47103 |
|---|---|
| Glavni autor: | Huth, Michael, 1962- (-) |
| Ostali autori: | Ryan, Mark, 1962- (-) |
| Vrsta građe: | Knjiga |
| Jezik: | eng |
| Impresum: |
Cambridge [U.K.] ; New York :
Cambridge University Press,
2004.
|
| Izdanje: | 2nd ed |
| Predmet: |