CART

(0) items

The Logic Book with Student Solutions Manual,9780079130839
This item qualifies for
FREE SHIPPING!

FREE SHIPPING OVER $59!

Your order must be $59 or more, you must select US Postal Service Shipping as your shipping preference, and the "Group my items into as few shipments as possible" option when you place your order.

Bulk sales, PO's, Marketplace Items, eBooks, Apparel, and DVDs not included.

The Logic Book with Student Solutions Manual

by
Edition:
3rd
ISBN13:

9780079130839

ISBN10:
0079130836
Format:
Hardcover
Pub. Date:
3/1/1997
Publisher(s):
McGraw-Hill Humanities/Social Sciences/Languages
List Price: $94.77
More New and Used
from Private Sellers
Starting at $0.99
See Prices

Rent Textbook

We're Sorry
Sold Out

Used Textbook

We're Sorry
Sold Out

eTextbook

We're Sorry
Not Available

New Textbook

We're Sorry
Sold Out

Related Products


  • The Logic Book
    The Logic Book
  • The Logic Book
    The Logic Book
  • The Logic Book with Student Solutions CD-ROM
    The Logic Book with Student Solutions CD-ROM




Summary

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.

Author Biography

Merrie Bermann received her Ph.D. in philosophy from the United 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.

Table of Contents

Chapter 1: Basic Notions of Logic

Chapter 2: Sentential Logic: Symbolization and Syntax

Chapter 3: Sentential Logic: Semantics

Chapter 4: Sentential Logic: Truth-Trees

Chapter 5: Sentential Logic: Derivations

Chapter 6: Sentential Logic: Metatheory

Chapter 7: Predicate Logic: Symbolization and Syntax

Chapter 8: Predicate Logic: Semantics

Chapter 9: Predicate Logic: Truth-Trees

Chapter 10: Predicate Logic: Derivations

Chapter 11: Predicate Logic: Metatheory

Selected Bibliography

Index

Index of Symbols



Please wait while the item is added to your cart...