عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
9789400700796
dltt
Proof, computation and agency :
[Book]
logic at the crossroads /
edited by Johan van Benthem, Amitabha Gupta and Rohit Parikh.
Dordrecht [etc.] :
Springer,
2011
XXIV, 371 p. ;
24 cm.
Benthem, Johan : van
Gupta, Amitabha
Parikh, Rohit,(1936-....)
20110617140551.1
مطالعه متن کتاب [Book]
Y
