Logic for computer science

Logic for computer science

Show all versions (2)
Xehetasun bibliografikoak
Egile nagusia: Reeves, Steve 1957-
Beste egile batzuk: Clarke, Michael 1940-
Formatua: Liburua
Hizkuntza:English
Argitaratua: Wokingham, England Addison-Wesley c1990.
Saila:International computer science series
Gaiak:
Logic, Symbolic and mathematical.
Computer systems > Programming > Applications of mathematical logic.