Propositional logic : deduction and algorithms /
Kleine Buning, H
Propositional logic : deduction and algorithms / Hans Kleine Buning, Theodor Lettman - Cambridge [England]: New York: Cambridge University Press, 1999 - x, 409 p.; 24 cm. - Cambridge tracts in theoretical computer science; 48 .
Includes bibliographical references (p. 385-402) and index
0521630177
Computer logic
Computer algorithms
Propositional logic : deduction and algorithms / Hans Kleine Buning, Theodor Lettman - Cambridge [England]: New York: Cambridge University Press, 1999 - x, 409 p.; 24 cm. - Cambridge tracts in theoretical computer science; 48 .
Includes bibliographical references (p. 385-402) and index
0521630177
Computer logic
Computer algorithms