Taylor's Library Banner
Image from Google Jackets

Propositional logic : deduction and algorithms / Hans Kleine Büning, Theodor Lettman.

By: Contributor(s): Language: English Original language: German Series: Cambridge tracts in theoretical computer science ; 48Publication details: Cambridge, U.K. : Cambridge University Press, 1999.Description: x, 409 p. : ill. ; 24 cmISBN:
  • 0521630177
Subject(s): DDC classification:
  • 004.015113 KLE
No physical items for this record

Translated from the German. First published in German by B.G. Teubner in 1994