Logic for computer scientists
著者
書誌事項
Logic for computer scientists
（Modern Birkhäuser classics）
Birkhäuser, c2008
- タイトル別名
-
Logik für Informatiker
大学図書館所蔵 全1件
注記
"Reprint of the 1989 edition"
"English hardcover edition originally published as volume 8 in the series Progress in computer science and appplied logic"
Bibliography: p. 155-159
Includes index