Proof, Computation and Agency

MLA

van Benthem, Johan, et al. Proof, Computation and Agency. Springer Netherlands, 2011.

APA

van Benthem, J., Benthem, J. F. A. K. van, Benthem, J. Franciscus Abraham Karel, Gupta, A., & Parikh, R. (2011). Proof, Computation and Agency. Springer Netherlands.

Chicago

van Benthem, Johan, J. F. A. K. van Benthem, Johannes Franciscus Abraham Karel Benthem, Amitabha Gupta, and Rohit Parikh. Proof, Computation and Agency. : Springer Netherlands, 2011.