Quite amazing that this great book is just sitting there on Burris' website. I came across it when researching Burris after being very impressed by his book "Lo

Quite amazing that this great book is just sitting there on Burris' website. I came across it when researching Burris after being very impressed by his book "Logic for Mathematics and Computer Science", which is a great introductory text to logic, even covering syllogisms, equational logic and algorithmic aspects like term rewriting and Knuth-Bendix. It also has lots of interesting historical remarks. Unfortunately it is out of print, but I got it used for £17 including shipping (also, libgen ...).