Gabbay, Dov&nbsp;M. <em>Elementary logics</em>. Prentice Hall series in computer science. London: Prentice Hall Europe, 1998.