Quantitative Logic (The Logic We Can Agree On)

As the title says, this book covers logic that is more mathematical than verbal. This logic uses set theory instead of words. There is great potential for this logic, for it can be used to design systems that use artificial intelligence, and in general day-to-day communication.