Introductory logic and sets for computer scientists
Nimal Nissanke
Bok Engelsk 1999
| Utgitt | Harlow : Addison Wesley Longman , 1999
|
|---|---|
| Omfang | XVI, 384 s. : ill.
|
| Emner | Computer logic
Set theory Matematisk logikk : (NoOU)REAL012433 Matematisk logikk - Databehandling setningslogikk predikatlogikk bevis mengdelære relasjonerboolsk algebra |
| Dewey | |
| ISBN | 0201179571
|
