The Logic Book (4th Edition)

This outstanding book is a leading text for symbolic or formal logic courses. All techniques and concepts are presented with clear, comprehensive explanations and numerous, carefully constructed examples. Its flexible organization (all chapters are complete and self-contained) allows instructors the freedom to cover the topics they want in the order they choose. 
About the Author
Merrie Bergmann received her Ph.D. in philosophy from the University of Toronto and is currently an Associate Professor in the Computer Science Department at Smith College. She has published articles in formal semantics and logic, philosophy of language, and computational linguistics.

James Moor received his Ph.D. in history and philosophy of science from Indiana University and is currently a Professor of Philosophy at Dartmouth College. He has developed software for teaching logic and has published articles in philosophy of science, philosophy of mind, logic, philosophy of artificial intelligence, and computer ethics.

Jack Nelson received his Ph.D. in philosophy from the University of Chicago and is currently Associate Dean of the College of Liberal Arts and Sciences and the Interim Chair of the Philosophy Department at Arizona State University. He has developed software for teaching logic and has published articles in personal identity, epistemology, and philosophy of science.