000			00983pam a2200229 a 4500
008			970422s1997 ne a b 001 0 eng
020			_a0792345932
041			_aeng
080			_a510.6 _bGOU
100	2		_aGoubault-Larrecq, Jean
245	1	0	_aProof theory and automated deduction
260			_aBoston _bKluwer Academic _c1997
300			_axv, 424p.
440		0	_aApplied logic series
504			_aIncludes bibliographical references (p. 407-413) and index.
505			_aCh. 1. Introduction Ch. 2. Classical Propositional Logic Ch. 3. Other Propositional Logics Ch. 4. The Curry-Howard Correspondence Ch. 5. Modal and Temporal Logics Ch. 6. First-Order Classical Logic Ch. 7. Resolution Ch. 8. Tableaux, Connections and Matings Ch. 9. Incorporating Knowledge Ch. 10. Logic Programming Languages App. B. Basics of Topology
650		0	_aProof theory
650		0	_aAutomatic theorem proving
690			_aMathematics
700	1		_aMackie, Ian
942			_cBK
999			_c13882 _d13882