Propositional Logic: Deduction and Algorithms (Cambridge Tracts in Theoretical Computer Science, Series Number 48)
Full Title: | Propositional Logic: Deduction and Algorithms (Cambridge Tracts in Theoretical Computer Science, Series Number 48) |
---|---|
ISBN: | 0521630177 |
ISBN13: | 9780521630177 |
List Price: | USD $135.00 |
Authors: |
Kleine Büning, Hans Lettmann, Theodor |