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

Description
Item Description:	Electronic resource.
Physical Description:	1 online resource.
Bibliography:	Includes bibliographical references.
ISBN:	9400700806 (electronic bk.) 9789400700802 (electronic bk.)
DOI:	10.1007/978-94-007-0080-2