Proof, computation and agency : logic at the crossroads

Author(s)

• Indian Conference on Logic and its Relationship with Other Disciplines
• Benthem, J. F. A. K. van
• Gupta, Amitabha
• Parikh, Rohit

Bibliographic Information

Proof, computation and agency : logic at the crossroads

edited by Johan van Benthem, Amitabha Gupta and Rohit Parikh

（Synthese library, v. 352）

Springer, c2011

• : softcover

Note

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

Details

• NCID: BB05871750
• ISBN:
  • 9789400700796
  • 9789400735811
• LCCN: 2011923788
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Dordrecht
• Pages/Volumes: xxiv, 371 p.
• Size: 25 cm
• Classification:
  • DC22 : 160
• Subject Headings:
  • LCSH : Logic -- Data processing -- Congresses
  • LCSH : Social interaction -- Philosophy -- Congresses
• Parent Bibliography ID:
  • BA00017801