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

书目详细资料
主要作者:	Davis, Ruth E.
格式:	图书
语言:	English
出版:	New York W. H. Freeman & Co. c1989.
主题:	Programming languages (Electronic computers) > Semantics. Logic, symbolic and mathematical. Electronic data processing.