A Linguistic Turn: New Directions in Logic - Benthem, Johanvan (Studies in Logic and the Foundations of Mathematics, 1986)