福岡大学蔵書検索

Procedural semantics for hyperintensional logic : foundations and applications of transparent intensional logic / Marie Duží, Bjorn Jespersen, Pavel Materna
(Logic, epistemology, and the unity of science / editors, Shahid Rahman, John Symons ; v. 17)

データ種別	図書
出版者	Dordrecht : Springer
出版年	c2010
形態	xiii, 552 p. : ill. ; 25 cm
著者標目	Duží, Marie Jespersen, Bjørn Materna, Pavel
件　名	LCSH:Language and logic
分　類	NDC9:801.2 DC22:401.43
書誌ID	LT00868433

所蔵情報を非表示

状　態	巻　次	所　在	請求記号	資料番号	ISBN	刷　年	コメント	利用注記	予約・取寄	お薦めの本	自動書庫	付録注記
		中央自動書庫	801.2/D99/1	2000000213414	9789048188116				予約・取寄				予約・取寄

書誌詳細を非表示

本文言語	英語
一般注記	Includes bibliographical references (p. [529]-539) and indexes
NCID	BB03490053
巻冊次	ISBN:9789048188116

目次／あらすじ