Journals Higher Education
Important OUP's Response to COVID-19 Learn more



Published: 06 January 1994

182 Pages | line figures, tables


ISBN: 9780198539896

Bookseller Code (AQ)

Automated Deduction in Multiple-Valued Logics

Reiner Hähnle

Clarendon Press

International Series of Monographs on Computer Science

  • Self-contained and unified approach
  • The first book on this subject
  • Includes a complete account of other approaches

Also of Interest