SpringerLink (Online Service), Benthem,Johan van, Gupta,Amitabha, & Parikh, R. (2011). Proof, computation and agency: Logic at the crossroads. Springer Netherlands.
Chicago Style (17th ed.) CitationSpringerLink (Online Service), Benthem,Johan van, Gupta,Amitabha, and Rohit Parikh. Proof, Computation and Agency: Logic at the Crossroads. Dordrecht: Springer Netherlands, 2011.
MLA (9th ed.) CitationSpringerLink (Online Service), et al. Proof, Computation and Agency: Logic at the Crossroads. Springer Netherlands, 2011.
Warning: These citations may not always be 100% accurate.