Propositional logic : deduction and algorithms

Hans Kleine Büning, Theodor Lettman[n]
Bok · Engelsk · 1999 H. Kleine Büning

Utgitt	Cambridge : Cambridge University Press , 1999
Omfang	X, 409 s. : ill.
Emner	Computer algorithms Computer logic Matematisk logikk
ISBN	0521630177