Proof theory and automated deduction /

by Goubault-Larrecq, Jean
Additional authors: Mackie, I
Series: Applied logic series . v.6 Published by : Kluwer Academic (Dordrecht | London) Physical details: xv,424p 25cm ISBN:0792345932. Year: 1997
    Average rating: 0.0 (0 votes)
Item type Current library Call number Status Date due Barcode
Book (loan) Gräsvik
511 Available 80013801749

Bibliography: p407-413. - Includes index

Adress: Biblioteket, Blekinge Tekniska Högskola, 371 79 Karlskrona
Telefon: 0455 - 38 51 01
E-post: biblioteket@bth.se
Ansvarig för sidan: Biblioteket