Howson, Colin
Logic with Trees: Introduction to Symbolic Logic
- ISBN 13:
- 9780415133425
- author:
- Howson, Colin
- format:
- Paperback
- publisher:
- Routledge
- language:
- English
- Publication Year:
- 1997
- Pages:
- 212
- Genre:
- Philosophy
- Condition:
- New
- Availability:
- Item usually sent within 10 working days
Description
Logic With Trees is a comprehensive introduction to modern formal logic, presenting the formal material in a clear and accessible way. The book covers a range of topics, including truth-functional and full first order logic, using the truth-tree or semantic tableau approach. It also explores alternative deductive systems, transfinite numbers, and the Lowenhein-Skolem theories, providing a thorough understanding of the subject. The book is particularly useful for those who want to understand the skills and techniques necessary for formal reasoning, and is of interest to students of philosophy, mathematics, and computer science. It provides a complete and clear account of the truth-tree system for first order logic, as well as discussions on the importance of logic and its relevance to many different disciplines. With worked examples and exercises, Logic With Trees enables readers to check their progress and develop their skills in formal reasoning. This book is a valuable resource for anyone looking to gain a deeper understanding of logic and its applications.
Related Products
Related Products
Logic: A Very Short Introduction
Priest, Graham
Logic: A Complete Introduction: Teach Yourself
Lee, SiuFan
Science of Logic
Hegel, Georg
Paradise Logic
Sophie Kemp
The Logic Manual
Halbach, Volker