Menu
Home
Advanced Search
Directory of Libraries
Languages
فارسی
English
العربی
عنوان
Proof, computation and agency :
پدید آورنده
edited by Johan van Benthem, Amitabha Gupta and Rohit Parikh.
موضوع
رده
کتابخانه
Center and Library of Islamic Studies in European Languages
محل استقرار
استان:
Qom
ـ شهر:
Qom
تماس با کتابخانه :
32910706
-
025
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
9789400700796
NATIONAL BIBLIOGRAPHY NUMBER
Number
dltt
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Proof, computation and agency :
General Material Designation
[Book]
Other Title Information
logic at the crossroads /
First Statement of Responsibility
edited by Johan van Benthem, Amitabha Gupta and Rohit Parikh.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Dordrecht [etc.] :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
2011
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
XXIV, 371 p. ;
Dimensions
24 cm.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Benthem, Johan : van
Gupta, Amitabha
Parikh, Rohit,(1936-....)
ORIGINATING SOURCE
Date of Transaction
20110617140551.1
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب
[Book]
Y
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal