Logic for computer science

Logic for computer science

Visa alla versioner (2)
Bibliografiska uppgifter
Huvudupphovsman: Reeves, Steve 1957-
Övriga upphovsmän: Clarke, Michael 1940-
Materialtyp: Bok
Språk:English
Publicerad: Wokingham, England Addison-Wesley c1990.
Ämnen:
Logic, Symbolic and mathematical.