Welcome! Sign In?

Other Logic Textbooks

ISBN10: 0132859742
ISBN13: 9780132859745
Edition/Copyright: 98

Publisher: Prentice Hall, Inc.
Cover: Hardback
Year Published: 1998
Weight: 1.4lbs.
Used Condition: Good/Excellent

Logic for Math and Computer Science

by Stanley Burris


Used $36.50 list: ~~$73.50~~ save: $37.00 (50%) In Stock Fast & Free Shipping Guaranteed Condition	New $44.00 list: ~~$73.50~~ save: $29.50 (40%) In Stock Fast & Free Shipping Guaranteed Condition	eText Sold Out However, as the largest online textbook source, inventory comes in constantly. Check back soon!

Summary

Table of Contents

This book provides an elementary "hands-on" presentation of important mathematical logic topics.

Explores topics that are at the cutting edge of developments in computer science, while preserving the integrity of traditional logic. Stresses several self-contained proof systems of interest to mathematical logic, some more suitable than others for particular kinds of questions.

For anyone interested in Computer Science or Mathematics.

I. QUANTIFIER-FREE LOGICS.

1. From Aristotle to Boole.
2. Propositional Logic.
3. Equational Logic.
4. Predicate Clause Logic.

II. LOGIC WITH QUANTIFIERS.

5. First-Order Logic: Introduction, and Fundamental Results on Semantics.
6. A Proof System for First-Order Logic and Gödel's Completeness Theorem.

Appendix A. A Simple Timetable of Mathematical Logic and Computing.
Appendix B. Dedekind-Peano Number System.
Appendix C. Writing Up an Inductive Definition or Proof.
Appendix D. FL Propositional Logic.
Bibliography.
Index.

(0 items)
view / edit

$0
Up to 90% off
millions of
textbooks daily

FREE SHIPPING
on orders over
$25

(you save !)

Order this book in the next 6 hours 14 minutes and it ships today.

With free UPS Ground Shipping, this book should arrive in the next 2-7 business days.

Need it quicker?
2nd day and Next Day Shipping may also be available.

This book is currently in our warehouse and will ship within 24 hours.

We hand-inspect every textbook to ensure it is in good condition.

A used textbook that does not have:

Water damage
Missing, torn or loose pages
Missing, torn or loose cover
Excessive writing or marking
A broken spine
Torn or damaged binding

Due to the size of eTexts, a high-speed internet connection (cable modem, DSL, LAN) is required for download stability and speed. Your connection can be wired or wireless.

Being online is not required for reading an eText after successfully downloading it. You must only be connected to the Internet during the download process.

Minimum Requirements:

Windows 2000, Windows XP, Windows Vista, or Mac OS X 10.3 or above
At least 256 MB RAM, a 600 mHz processor, and 110 MB of hard drive space
1024x768 screen resolution or larger


	Close

HOME

BUY TEXTBOOKS

ARTS & HUMANITIES Textbooks

PHILOSOPHY Textbooks

LOGIC Textbooks

Other Logic Textbooks

Logic for Math and Computer Science

by Stanley Burris