APA (7. basım) Alıntı

SpringerLink (Online Service), Benthem,Johan van, Gupta,Amitabha, & Parikh, R. (2011). Proof, computation and agency: Logic at the crossroads. Springer Netherlands.

Chicago Style (17. basım) Atıf

SpringerLink (Online Service), Benthem,Johan van, Gupta,Amitabha, ve Rohit Parikh. Proof, Computation and Agency: Logic at the Crossroads. Dordrecht: Springer Netherlands, 2011.

MLA (9th ed.) Atıf

SpringerLink (Online Service), et al. Proof, Computation and Agency: Logic at the Crossroads. Springer Netherlands, 2011.