00885nam a2200241 4500 vtls000010024 KUKTEM 20251117142313.0 060606t2004 xxu gr |0 1 0|eng | 0521630177 201107131747 VLOAD 200908141123 VLOAD 200908141055 VLOAD 200908131552 VLOAD 200606141148 VLOAD UMP QA76.63 .B86 1999 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 Computer logic Computer algorithms Lettman, Theodor 0 0 0 0 20000 20000 2019-09-04 0 QA76.63 .B86 1999 0000001096 2019-09-04 00:00:00 2019-09-04 OPEN 26550 26556