Truth, deduction, and computation : logic and semantics for computer science
著者
書誌事項
Truth, deduction, and computation : logic and semantics for computer science
（Principles of computer science series）
Computer Science Press, c1989
大学図書館所蔵 件 / 全9件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
Includes bibliographical references (p. 257-260) and index