Proof theory and automated deduction / by Jean Goubault-Larrecq and Ian Mackie

By:

Contributor(s):

Material type: Text

TextSeries: Applied logic series ; v.6Publication details: Dordrecht London Kluwer Academic c1997Description: xv,424p 25cmISBN:

Subject(s):

DDC classification:

Other classification:

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Book (loan)	Campus Karlskrona	511	Available		80013801749

Bibliography: p407-413. - Includes index