Logic for computer science

Bibliografske podrobnosti
Glavni avtor:	Reeves, Steve 1957-
Drugi avtorji:	Clarke, Michael 1940-
Format:	Knjiga
Jezik:	angleščina
Izdano:	Wokingham, England Addison-Wesley c1990.
Serija:	International computer science series
Teme:	Logic, Symbolic and mathematical. Computer systems > Programming > Applications of mathematical logic.