Elements of deductive inference : an introduction to symbolic logic / Joseph Bessie, Stuart Glennan.
By: Bessie, Joseph.
Contributor(s): Glennan, Stuart [(j.a.)].
Publisher: Belmont, Calif. : Wadsworth, c2000Description: xiv, 479 p. ; 25 cm.ISBN: 0534551211.Subject(s): Predicate calculusDDC classification: 511.3Item type | Current location | Shelf location | Call number | Copy number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|---|---|---|
Accompanying Material (Media Resource) | Taylor's Library-TU | 511.3 BES (Browse shelf) | 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) | 1 | Available | SOCIT,15010,03,GR | 5000030428 |
Browsing Taylor's Library-TU Shelves Close shelf browser
511.3 BAR The lambda calculus : | 511.3 BAR The lambda calculus : | 511.3 BEN Mathematical logic for computer science / | 511.3 BES Elements of deductive inference : | 511.3 BES Elements of deductive inference : | 511.3 BOO Computability and logic / | 511.3 BUR Completeness and reduction in algebraic complexity theory / |
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.