Best book that covers all / most topics in logic

Question

I am looking for a textbook or a series of textbooks that covers all or most of the topics in logic, that includes Aristotelian term logic, Stoic logic, Islamic logic, medieval logic, predicate calculus, all or most of non-classical logics, algebraic logic, model theory, proof theory, universal algebra, etc. In short, something that covers all historical and contemporary areas of logic in a most comprehensive way.

Answer 1

I don't think one can do much better than the 100+ page literature guide on introductory logic texts on logicmatters.net. The target audience here is not exclusively mathematicians, but also philosophy majors, so you'll not just be limited to the first- and second- order variants of mostly classical predicate logical logic that math faculties have by and large settled at 100 years ago.

In closing - while I know of topics such as Indian Jaina seven-valued logic - in view of the scope you want to cover in your question, I'm not sure if you will find a text that deeply discusses Stoic and Islamic logic on the one hand, and on the same time formal model theory.

Answer 2

You set, to put it mildly, a rather high bar:

includes Aristotelian term logic, Stoic logic, Islamic logic, medieval logic, predicate calculus, all or most of non-classical logics, algebraic logic, model theory, proof theory, universal algebra, etc.

This is simply far too much material to be contained in a single book, or even a small set of books. The closest thing I can think of is the Handbook of the history of logic ... a series comprising eleven volumes, each with more than $600$ pages. And even then, many important topics are omitted. Meanwhile, even the "simple" topic of nonclassical propositional logics can lend itself to a ~$1500$-page treatment.