Amazon cover image
Image from Amazon.com

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

By: Contributor(s): Material type: TextTextSeries: Applied logic series ; v.6Publication details: Dordrecht London Kluwer Academic c1997Description: xv,424p 25cmISBN:
  • 0792345932
Subject(s): DDC classification:
  • 511.3
Other classification:
  • Ta:d
  • Dca
  • 511
  • Dca
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode Item holds
Book (loan) Campus Karlskrona 511 Available 80013801749
Total holds: 0

Bibliography: p407-413. - Includes index

Address: Library, Blekinge Tekniska Högskola, 371 79 Karlskrona
Telephone: 0455 - 38 51 01
E-mail: biblioteket@bth.se
Responsible for page: Library