| 出版情報 |
Stanford, Calif. : Center for the Study of Language and Information , c1992 |
| 大きさ |
ix, 200 p. : ill. ; 23 cm |
| 別書名 |
異なりアクセスタイトル:Linear logic |
| 一般注記 |
Includes bibliographical references (p. 191-196) and index |
| 著者標目 |
*Troelstra, A. S. (Anne Sjerp)
|
| 件 名 |
LCSH:Logic, Symbolic and mathematical
|
| 分 類 |
LCC:QA9
DC20:511.3
|
| 本文言語 |
英語 |
| 書誌ID |
TY00009747 |
| ISBN |
0937073784 |
| NCID |
BA14283257
|
| 巻冊次 |
: [hard] ; ISBN:0937073784 ; PRICE:$50.00
: pbk ; ISBN:0937073776 ; PRICE:$19.95
|
