Linear logic in computer science, : pbk.

Linear logic in computer science, : pbk.

edited by Thomas Ehrhard ... [et al.]

Cambridge : Cambridge University Press, 2004

図書等

巻号情報

: pbk.
No. 所在 請求記号 資料ID 資料タイプ 状況(返却予定日) コレクション 備考 予約・取り寄せ人数

1

410.8-L84-316

10004012267

一般図書

2

410.8-L84-316

10004012268

一般図書

詳細情報

刊年

2004

形態

x, 381 p. : ill. ; 23 cm

シリーズ名

London Mathematical Society lecture note series ; 316

注記

Includes bibliographical references

出版国

イギリス

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Ehrhard, Thomas

ISBN

0521608570 (: pbk.)

NCID

BA69078075