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.