Taylor's Library Banner
Image from Google Jackets

Elements of deductive inference : an introduction to symbolic logic / Joseph Bessie, Stuart Glennan.

By: Contributor(s): Publication details: Belmont, Calif. : Wadsworth, c2000Description: xiv, 479 p. ; 25 cmISBN:
  • 0534551211
Subject(s): DDC classification:
  • 511.3 BES
Contents:
Preface. - Ch. One. Introduction. - Ch. Two. Statement Logic I: A New Language. - Ch. Three. Statement Logic II: Semantic Methods. - Ch. Four. Statement Logic III: Syntactic Methods. - Ch. Five. Predicate Logic I: Syntax and Semantics. - Ch. Six. Predicate Logic II: Semantic Methods. - Ch. Seven. Predicate Logic III: Syntactic Methods. - Ch. Eight. Extensions to L: Identity and Functions. - Ch. Nine. Some Applications, Limitations, and Extensions of L*. - Appendix One: Additional Reading in Logic. - Appendix Two: Solutions to Selected Exercises. - Index.
Summary: Organized into flexible modular units, this precise yet readable text introduces contemporary symbolic logic step by step - from statement logic to n-adic relations, identity, and functions. Joseph Bessie and Stuart Glennan cover a range of syntactic and semantic methods-truth tables, truth trees, and natural deduction. The book also covers such theoretically importent concepts as soundness (of a system) and completeness, decidability, and Church's thesis. - Back cover
Holdings
Cover image Item type Current library Home library Collection Shelving location Shelf location Call number Materials specified Vol info Copy number Status Notes Date due Barcode Item holds Item hold queue priority Course reserves
Accompanying Material (Media Resource) Taylor's Library-TU 511.3 BES (Browse shelf(Opens below)) 1 Available SOCIT,15010,03,GR 1000529858
Main Collection Taylor's Library-TU

Floor 4, Shelf 15 , Side 1, TierNo 3, BayNo 4

 511.3 BES (Browse shelf(Opens below)) 1 Available SOCIT,15010,03,GR 5000030428

Preface. - Ch. One. Introduction. - Ch. Two. Statement Logic I: A New Language. - Ch. Three. Statement Logic II: Semantic Methods. - Ch. Four. Statement Logic III: Syntactic Methods. - Ch. Five. Predicate Logic I: Syntax and Semantics. - Ch. Six. Predicate Logic II: Semantic Methods. - Ch. Seven. Predicate Logic III: Syntactic Methods. - Ch. Eight. Extensions to L: Identity and Functions. - Ch. Nine. Some Applications, Limitations, and Extensions of L*. - Appendix One: Additional Reading in Logic. - Appendix Two: Solutions to Selected Exercises. - Index.

Organized into flexible modular units, this precise yet readable text introduces contemporary symbolic logic step by step - from statement logic to n-adic relations, identity, and functions. Joseph Bessie and Stuart Glennan cover a range of syntactic and semantic methods-truth tables, truth trees, and natural deduction. The book also covers such theoretically importent concepts as soundness (of a system) and completeness, decidability, and Church's thesis. - Back cover

Accompanied by : 1 computer optical disc (4 3/4 in.) : Inference engine for Bessie and Glennan's Elements of deductive inference : an introduction to symbolic logic : version 1.0 for MacOS.