Buning, Hans Kleine. Lettman, Theodor.
Propositional Logic : Deduction and Algorithms - Cambridge CUP 1999 - 409 - Cambridge Tracts in Theoretical Computer Science, 48 .
0 521 63017 7
Logic
Algorithms
681.3 BUN
Propositional Logic : Deduction and Algorithms - Cambridge CUP 1999 - 409 - Cambridge Tracts in Theoretical Computer Science, 48 .
0 521 63017 7
Logic
Algorithms
681.3 BUN