Aimed at undergraduates and graduates in computer science, logic, mathematics, and philosophy, this text is a lively and entertaining introduction to formal logic and provides an excellent insight into how a simple logic works.
Introducing formal logic, this book provides insight into how a simple logic works. It concentrates on using logic as a tool, and is... Læs mere