Стиль цитування APA (7-ме видання)
Johan van Benthem, A. G. Proof, Computation and Agency: Logic at the Crossroads. Springer.
Чикаго стиль цитування (17-те видання)
Johan van Benthem, Amitabha Gupta. Proof, Computation and Agency: Logic at the Crossroads. Dordrecht, Holanda: Springer.
Стиль цитування MLA (9-ме видання)
Johan van Benthem, Amitabha Gupta. Proof, Computation and Agency: Logic at the Crossroads. Springer.
Попередження: стилі цитування не завжди правильні на всі 100%.