Essence of logic
By: John J. Kelly.
Publisher: Prentice Hall
Published: 1997
Place of publication: London; New York
Language: eng
Number of pages: 258
Subjects: Computer science.; Logic, Symbolic and mathematical.
Other titles: Logic
Notes: Includes bibliographical references (p. 250) and index.
Table of contents: title: Series Preface
pagenum: ix; title: Preface
pagenum: xi; title: Acknowledgements
pagenum: xiv; label: 1
title: Truth Tables
pagenum: 1; label: 1.1
title: What is Logic about?
pagenum: 1; label: 1.2
title: Truth Tables
pagenum: 2; label: 1.3
title: Equivalences
pagenum: 10; label: 1.4
title: Sufficiently Connected
pagenum: 13; label: 1.5
title: Language to Logic
pagenum: 15; label: 1.6
title: Applications to Circuit Design
pagenum: 19; label: 1.7
title: Summary
pagenum: 24; title: Miscellaneous Exercises
pagenum: 25; label: 2
title: Semantic Tableaux
pagenum: 27; label: 2.1
title: Exponential Growth
pagenum: 27; label: 2.2
title: Semantic Tableaux
pagenum: 28; label: 2.3
title: Rules of Right Reason
pagenum: 34; label: 2.4
title: Problem-solving with Semantic Tableaux
pagenum: 37; label: 2.5
title: Summary
pagenum: 40; title: Miscellaneous Exercises
pagenum: 41; label: 3
title: Natural Deduction
pagenum: 42; label: 3.1
title: Introduction
pagenum: 42; label: 3.2
title: Rules of Natural Deduction
pagenum: 43; label: 3.3
title: The Sequent Calculus
pagenum: 54; label: 3.4
title: Summary
pagenum: 62; title: Miscellaneous Exercises
pagenum: 64