| NCID | BA25014224 |
| タイトル | Advances in linear logic / edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier |
| 出版者 | Cambridge : Cambridge University Press , 1995 |
| 形態 | vi, 389 p. ; 24 cm |
| 注記 | Based on the Linear Logic Workshop held June 14-18, 1993, at the Mathematical Sciences Institute, Cornell University, Ithaca
Includes bibliographical references |
| シリーズ名 | London Mathematical Society lecture note series ; 222
|
| 分類 | LCC:QA9.A1
DC20:511.3
NDC8:410.96 |
| 件名 | LCSH:Logic,Symbolicandmathematical -- Congresses
|
| 著者情報 | Girard, Jean-Yves
Lafont, Yves
Regnier, Laurent
Linear Logic Workshop
|
| 和洋区分 | 洋 |
| 標題言語 | 英語 |
| 本文言語 | 英語 |
| 出版国 | イギリス |
| ISBN | 0521559618(: pbk)
|
| 番号 | LCCN : 95016325 |