CiNiiで詳細を確認

このページのURL

この文献を取り寄せる

<図書>
Proof, computation and agency : logic at the crossroads / edited by Johan van Benthem, Amitabha Gupta and Rohit Parikh
(Synthese library ; v. 352)

出版者 Dordrecht : Springer
出版年 c2011
大きさ xxiv, 371 p. : ill. ; 25 cm
本文言語 英語
書誌ID 2004322602
NCID BB05871750 WCLINK

所蔵情報を非表示

人科学哲学2
116.5||BEN 10900674614

9789400700796

書誌詳細を非表示

一般注記 The First Indian Conference on Logic and its Relationship with Other Disciplines took place in MUmbai at ITT Bombay, from Jan. 8-12, 2005
Includes bibliographical references
著者標目 Indian Conference on Logic and its Relationship with Other Disciplines (1st : 2005 : Bombay, India)
Benthem, J. F. A. K. van, 1949-
Gupta, Amitabha
Parikh, Rohit, 1936-
件 名 LCSH:Logic -- Data processing -- Congresses  この組合せで検索
LCSH:Social interaction -- Philosophy -- Congresses  この組合せで検索
分 類 DC22:160
巻冊次 ISBN:9789400700796
: softcover ; ISBN:9789400735811