Rendered from the 11th Edition of Copi/Cohen, Introduction to Logic, the most respected introductory logic book on the market, this concise version presents a s
Originally published in 1926, this book is an exploration of the essentials of logic: the study of the general conditions of valid inference. The main aim of lo
This back-to-basics mix of informal and formal logic evolved from Ronald Pine's efforts to make logic relevant and interesting to his students. With student-fri
An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory. Comput