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 |