Logic for computer science

Xehetasun bibliografikoak
Egile nagusia:	Reeves, Steve 1957-
Beste egile batzuk:	Clarke, Michael 1940-
Formatua:	Liburua
Hizkuntza:	ingelesa
Argitaratua:	Wokingham, England Addison-Wesley c1990.
Gaiak:	Logic, Symbolic and mathematical.