

The Logic Book is a leading text for symbolic logic courses that presents all concepts and techniques with clear, comprehensive explanations. There is a wealth of carefully constructed examples throughout the text, and its flexible organization places materials within largely...

This new edition is for introductory and intermediate level logic courses, offered in Philosophy departments. The semantics, syntax, and metatheory of both sentential and predicate logic are covered in detail. Techniques and concepts are presented first informally, then formally,...

![Logic Book [Spanish] 1259010600 Book Cover](https://m.media-amazon.com/images/I/41YkBHzfYuL._SL500_.jpg)


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)...




This work presents all techniques and concepts in logic, with comprehensive explanations and examples. Areas covered include semantics, truth trees, derivations, metatheory, natural deduction and tree methods of proof.