CLCO1
LanguageENG
PublishYear2016
publishCompany
Wiley
EISBN
9781118880050
PISBN
9781118880005
- Product Details
- Contents
Written in a clear, precise and user-friendly style, Logic as a Tool: A Guide to Formal Logical Reasoning is intended for undergraduates in both mathematics and computer science, and will guide them to learn, understand and master the use of classical logic as a tool for doing correct reasoning. It offers a systematic and precise exposition of classical logic with many examples and exercises, and only the necessary minimum of theory.
Collected by
- Princeton University
- Yale University
- University of Oxford
- MIT
- UCB