"Proof, Computation and Agency: Logic at the Crossroads (Synthese Library, 352)" - читать интересную книгу автора (Johan van Benthem, Amitabha Gupta, Rohit Parikh)