Proof, computation and agency : logic at the crossroads
Author(s)
Bibliographic Information
Proof, computation and agency : logic at the crossroads
(Synthese library, v. 352)
Springer, c2011
- : softcover
Available at / 14 libraries
-
No Libraries matched.
- Remove all filters.
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