ロード中...
Logic from computer science: Proceedings of a workshop held Nov. 13-17, 1989
| 第一著者: | Logic from computer |
|---|---|
| フォーマット: | Printed Book |
| 言語: | English |
| 出版事項: |
New York
Springer-Verlag
1992
|
| 主題: |
類似資料
-
Symbolic logic /
著者:: Copi, Irving M.
出版事項: (1962) -
Symbolic Logic and the Game of Logic
著者:: Carroll, Lewis
出版事項: (1958) -
A textbook of logic
著者:: Krishna Jain; Author
出版事項: (2009) -
Logical forms : an introduction to philosophical logic /
著者:: Sainsbury, R. M.
出版事項: (1991) -
Logic with trees : an introduction to symbolic logic /
著者:: Howson, Colin
出版事項: (1997)