Logic for computer science

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Reeves, Steve 1957-
Rannpháirtithe:	Clarke, Michael 1940-
Formáid:	LEABHAR
Teanga:	Béarla
Foilsithe / Cruthaithe:	Wokingham, England Addison-Wesley c1990.
Sraith:	International computer science series
Ábhair:	Logic, Symbolic and mathematical. Computer systems > Programming > Applications of mathematical logic.