Proof theory and automated deduction /

Bibliographic Details
Main Author:	Goubault-Larrecq, Jean
Other Authors:	Mackie, I. (Ian)
Format:	Book
Language:	English
Published:	Dordrecht ; Boston : Kluwer Academic, [1997]
Series:	Applied logic series ; v. 6.
Subjects:	Proof theory. Automatic theorem proving.

Description
Physical Description:	xv, 424 pages : illustrations ; 25 cm.
Bibliography:	Includes bibliographical references (pages 407-413) and index.
ISBN:	0792345932 (alk. paper)