Swart, Harrie de
Philosophical and Mathematical Logic (Springer Undergraduate Texts in Philosophy)
- ISBN 13:
- 9783030032531
- author:
- Swart, Harrie de
- format:
- Hardback
- publisher:
- Springer Nature Switzerland AG
- language:
- English
- Publication Year:
- 2018
- Pages:
- 539
- Dimensions:
- 23.5 x 15.5 centimetres (0.98 kg
- Genre:
- Computers, Programming, General,
- Condition:
- New
- Availability:
- Item usually sent within 20 working days
Description
This comprehensive introduction to logic covers classical and philosophical logic, mathematics, language, and computer science. Harrie de Swart's book provides an in-depth exploration of topics such as propositional and predicate logic, modal logic, intuitionistic logic, and applications in Prolog, relational databases, and social choice theory.
Throughout the text, the author offers a historical perspective on the development of logic, tracing its roots from Stoic and Aristotelian logic to modern developments. The book concludes each chapter with answers to exercises, making it an ideal resource for those seeking to deepen their understanding of logical concepts.
With its rigorous yet clear approach, this recent publication (2018) is a valuable resource for anyone looking to explore the foundations of logic and its connections to other fields.
Related Products
Related Products
Complex Analysis (Springer Undergraduate Mathematics) (Springer Undergraduate Mathematics)
Howie, John M.
Information and Coding Theory (Springer Undergraduate Mathematics) (Springer Undergraduate Mathematics Series)
Jones, Gareth A.
Basic Topology (Undergraduate Texts in Mathematics) (Undergraduate Texts in Mathematics)
Armstrong, M.A.
Mathematical Writing (Springer Undergraduate Mathematics Series)
Franco Vivaldi
Essential Mathematical Biology (Springer Undergraduate Mathematics)
Britton, Nicholas F.