福岡大学蔵書検索

検索結果一覧に戻る

Advances in linear logic / edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier
(London Mathematical Society lecture note series ; 222)

データ種別	図書
出版者	Cambridge : Cambridge University Press
出版年	1995
形態	vi, 389 p. : ill. ; 23 cm
著者標目	Girard, Jean-Yves Lafont, Yves Regnier, Laurent Linear Logic Workshop (1993 : Mathematical Sciences Institute, Cornell University)
件　名	LCSH:Logic, Symbolic and mathematical -- Congresses 全ての件名で検索
分　類	NDC:410.8 NDC:410.12 LCC:QA9.A1 DC20:511.3
書誌ID	LT00479678

所蔵情報を非表示

状　態	巻　次	所　在	請求記号	資料番号	ISBN	刷　年	コメント	利用注記	予約・取寄	お薦めの本	自動書庫	付録注記
		理学部分室開架	410.8/L84/1-222	0110298060107	9780521559614				予約・取寄				予約・取寄

書誌詳細を非表示

本文言語	英語
一般注記	Includes bibliographical references
NCID	BA25014224
巻冊次	ISBN:0521559618

目次／あらすじ