An introduction to many-sorted logic as an extension of first-order logic.

Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduc

One is often said to be reasoning well when they are reasoning logically. Many attempts to say what logical reasoning is have been proposed, but one commonly pr

The central contention of this book is that second-order logic has a central role to play in laying the foundations of mathematics. In order to develop the argu