Logic for computer science

書目詳細資料
主要作者: Reeves, Steve 1957-
其他作者: Clarke, Michael 1940-
格式: 圖書
語言:English
出版: Wokingham, England Addison-Wesley c1990.
主題: