Propositional Logic: Deduction and Algorithms (Cambridge Tracts in Theoretical Computer Science)

by: Hans Kleine Büning · Theodor Lettmann Hardcover details (UK). ISBN: 978-0-521-63017-7 ISBN-10: 0-521-63017-7 Cambridge University Press · 1999