Elements of deductive inference : an introduction to symbolic logic /
Joseph Bessie, Stuart Glennan.
- Belmont, Calif. : Wadsworth, c2000
- xiv, 479 p. ; 25 cm.
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.