このページのリンク

Linear logic in computer science / edited by Thomas Ehrhard ... [et al.].
(London Mathematical Society lecture note series ; 316)

データ種別 図書
出版者 Cambridge : Cambridge University Press
出版年 2004.
大きさ x, 381 p. : ill. ; 23 cm.
目次/あらすじ

所蔵情報を非表示


GF:BOOK.SHELF 411/L639 06256482
0521608570

書誌詳細を非表示

一般注記 Includes bibliographical references.
著者標目 Ehrhard, Thomas,(1958-)
London Mathematical Society
件 名 Proof theory
Computer science--Mathematics
Logic, Symbolic and mathematical.
分 類 NDC:411
書誌ID 1000283038
ISBN 0521608570
NCID BA69078075 WCLINK
URL1 http://www.amazon.co.jp/exec/obidos/ASIN/0521608570/
コメント Amazon.com

 類似資料