The logic book, Volume 1

Front Cover
Random House, 1980 - Mathematics - 459 pages
4 Reviews
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. The third edition incorporates many new and updated exercises and expanded discussions on evaluating arguments and symbolization in predicate logic. A free Student Solutions Manual is packaged with every copy of the textbook. Two logic programs, Bertie III and Twootie, are available as a free download from the University of Connecticut Philosophy Department's Web site. The Web address for downloading the software is http://www.ucc.uconn.edu/~wwwphil/software.html. Bertie 3 is a proof checker for the natural deduction method and Twootie is a proof checker for the truth tree method.

From inside the book

What people are saying - Write a review

Review: The Logic Book

User Review  - Tim Yam - Goodreads

Very clearly explained. Read full review

Review: The Logic Book With Student Solutions Cd Rom

User Review  - Curtis Debaun - Goodreads

What did I just read? Read full review

Contents

BASIC NOTIONS OF LOGIC
1
SYMBOLIZATION
18
SEMANTICS
61
Copyright

10 other sections not shown

Common terms and phrases

Bibliographic information