Summary goes here
I tiakina i:
| Hōputu: | Pukapuka |
|---|---|
| Reo: | Ingarihi |
| Ngā marau: | |
| Ngā Tūtohu: |
Tāpirihia he Tūtohu
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | d35a9db7-8079-4aa1-84b5-6e2a16d3f6ca |
| isbn | 0521652006 9780521652001 0521656028 9780521656023 |
| issn | |
| language | eng |
| physical | xviii, 387 pages :illustrations ;25 cm |
| publication | – publisher: Cambridge University Press dateOfPublication: 2000 |
| publishDate | 2000 |
| subjects | |
| title | Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan. |
| topic | Computer logic. Computer logic |