Truth, deduction, and computation logic and semantics for computer science

Xehetasun bibliografikoak
Egile nagusia:	Davis, Ruth E.
Formatua:	Liburua
Hizkuntza:	English
Argitaratua:	New York W. H. Freeman & Co. c1989.
Gaiak:	Programming languages (Electronic computers) > Semantics. Logic, symbolic and mathematical. Electronic data processing.