Ghi lại trích dẫn

Trích dẫn kiểu APA (xuất bản lần thứ 7)
van Benthem, J., Gupta, A., & Parikh, R. (2011). Proof, Computation and Agency: Logic at the Crossroads. Springer Netherlands. https://doi.org/10.1007/978-94-007-0080-2
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)
van Benthem, Johan, Amitabha Gupta, và Rohit Parikh. Proof, Computation and Agency: Logic at the Crossroads. Dordrecht: Springer Netherlands, 2011. https://doi.org/10.1007/978-94-007-0080-2.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)
van Benthem, Johan, et al. Proof, Computation and Agency: Logic at the Crossroads. Springer Netherlands, 2011. https://doi.org/10.1007/978-94-007-0080-2.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.