000			02125nam a2200253 4500
001			vtls001895760
003			MY-SjTCS
005			20200226121333.0
008			110218t2000 cau 001 eng
020			_a0534551211
039		9	_a201909131545 _bummi _c201102181415 _dVLOAD _y200407271915 _zVLOAD
082	0	4	_a511.3 _bBES
100	1		_aBessie, Joseph. _911352
245	1	0	_aElements of deductive inference : _ban introduction to symbolic logic / _cJoseph Bessie, Stuart Glennan.
260			_aBelmont, Calif. : _bWadsworth, _cc2000
300			_axiv, 479 p. ; _c25 cm.
505	0		_aPreface. - 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.
520			_aOrganized 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
525			_aAccompanied 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.
650		0	_aPredicate calculus. _9102942
700	1		_aGlennan, Stuart. _e(j.a.) _9102943
740	0		_aInference engine for Bessie and Glennan's Elements of deductive inference : an introduction to symbolic logic : version 1.0 for MacOS.
920			_aUOSC : 560451, CD560006
999			_c181035 _d181035