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

Available at  / 14 libraries

Search this Book/Journal

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

Related Books: 1-1 of 1

  • Synthese library

    D. Reidel , Distributed in the U.S.A. and Canada by Kluwer Boston

    Available at 2 libraries

Details

Page Top