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