Proof, computation and agency : logic at the crossroads /

Bibliographic Details
Corporate Author:	"Indian Conference on Logic and its Relationship with Other Disciplines"
Other Authors:	Benthem, Johan van, 1949-, Gupta, Amitabha, Parikh, Rohit, 1936-
Format:	Conference Proceeding eBook
Language:	English
Published:	Dordrecht ; New York : Springer, [2011]
Series:	Synthese library ; 352.
Subjects:	Logic > Congresses. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online