Mathematical logic for computer science
著者
書誌事項
Mathematical logic for computer science
(Prentice-Hall International series in computer science)
Prentice Hall, 1993
- : pbk
大学図書館所蔵 18件 / 全18件
すべての地域すべての図書館
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references (p. 274-277) and index