-
RecordNumber
96131
-
Author
Indian Conference on Logic and its Relationship with Other Disciplines (1st : 2005 : Bombay, India)
-
Title
Proof, computation and agency : logic at the crossroads
-
Editor
edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh.
-
Publication
Dordrecht ; London : Springer
-
Publication Year
c2011
-
Collation
xxiv, 371 p. : ill.
-
Bibliography
Includes bibliographical references
-
Subject
Logic -- Data processing -- Congresses , Social interaction -- Philosophy -- Congresses
-
ADDED ENTRIES
AU Benthem, J. F. A. K. van, 1949- , AU Gupta, Amitabha , AU Parikh, Rohit, 1936-
-
Main Class
160
-
Cutter no
I393p
-
Date
2005
-
واردكننده اطلاعات
ربابه صمدي علي نيا
-
Link To Document :
