Proof, computation and agency : logic at the crossroads : softcover

Material type: 図書

Author: edited by Johan van Benthem, Amitabha Gupta and Rohit Parikh

Publisher: Springer

Publication date: c2011

Material Format: Paper

Capacity, size, etc.: 25 cm

NDC: -

View All

Notes on use

Note (General)：: The First Indian Conference on Logic and its Relationship with Other Disciplines took place in MUmbai at ITT Bombay, from Jan. 8-12, 2005Includes bibl...

Related materials as well as pre- and post-revision versions

Synthese library

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

CiNii Research
Search Service
Paper
You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Check the holdings of this book

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 9789400700796
9789400735811
Title: Proof, computation and agency : logic at the crossroads
Volume: : softcover
Author/Editor: edited by Johan van Benthem, Amitabha Gupta and Rohit Parikh
Author Heading: Indian Conference on Logic and its Relationship with Other Disciplines
https://ci.nii.ac.jp/author/DA17400943
Benthem, J. F. A. K. van
https://ci.nii.ac.jp/author/DA00887300
Gupta, Amitabha
https://ci.nii.ac.jp/author/DA1740376X
Parikh, Rohit
https://ci.nii.ac.jp/author/DA00406923
Publication, Distribution, etc.: Springer
Publication Date: c2011
Publication Date (W3CDTF): 2011
Size: 25 cm
Place of Publication (Country Code): ne
Text Language Code: en
Subject Heading: Logic -- Data processing -- Congresses
Social interaction -- Philosophy -- Congresses
Target Audience: 一般
Note (General): 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
Related Material: Synthese library
https://cir.nii.ac.jp/crid/1130282268945532416
Related Material (URI): https://ci.nii.ac.jp/ncid/BB05871750#entity
https://lccn.loc.gov/2011923788
Periodical Title: Synthese library
https://cir.nii.ac.jp/crid/1130282268945532416
Data Provider (Database): 国立情報学研究所 : CiNii Research
Original Data Provider (Database): CiNii Books
https://ci.nii.ac.jp/books
NCID: https://ci.nii.ac.jp/ncid/BB05871750 : BB05871750
LC Control Number: 2011923788
https://lccn.loc.gov/2011923788