| 出版情報 |
Oxford : Clarendon Press
New York : Oxford University Press , 1993 |
| 大きさ |
x, 386 p. ; 24 cm |
| 著者標目 |
Schroeder-Heister, Peter Joseph, 1953-
Došen, Kosta
|
| 件 名 |
FREE:Computer science
FREE:Logic, Symbolic and mathematical
|
| 分 類 |
LCC:QA76
DC:511.3
|
| 本文言語 |
英語 |
| 書誌ID |
TY00007707 |
| NCID |
BA22574109
|
