Tools

LEADER 01591cam 2200421 a 4500

001 ocm39655053;

003 OCoLC;

005 20141212132242.0;

008 980804s1999 enka b 001 0 eng ;

010 a| 98038806;

020 a| 0521630177 (hardcover);

035 a| (Sirsi) o39655053;

035 a| (OCoLC)39655053;

040 a| DLCc| DLCd| C#Pd| UtOrBLW;

041 1 a| engh| ger;

049 a| EREE;

050 00 a| QA76.9.L63b| K54 1999;

082 00 a| 004/.01/51132| 21;

100 1 a| Kleine Büning, H.q| (Hans)=| ^A236644;

245 10 a| Propositional logic :b| deduction and algorithms /c| Hans Kleine Büning, Theodor Lettman.;

250 a| English ed.;

260 a| Cambridge, U.K. ;a| New York :b| Cambridge University Press,c| 1999.;

300 a| x, 409 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Cambridge tracts in theoretical computer science ;v| 48;

500 a| "First published in German by B.G. Teubner in 1994"--T.p. verso.;

504 a| Includes bibliographical references (p. 385-402) and indexes.;

650 0 a| Computer logic.=| ^A417366;

650 0 a| Computer algorithms.=| ^A285321;

700 1 a| Lettmann, T.q| (Theodor)=| ^A417367;

830 0 a| Cambridge tracts in theoretical computer science ;v| 48.=| ^A221007;

910 a| PromptCat;

980 a| 1999-09-13b| 80d| 4.03e| 67.2f| 8715;

596 a| 1;

998 a| 655888;

999 a| QA76.9.L63 K54 1999w| LCc| 1i| 30372010592316d| 3/20/2007e| 3/18/2007l| JGESm| JOYNERn| 2p| $67.20r| Ys| Yt| JGESBKu| 12/6/1999x| BOOKz| JSTACKSo| .STAFF. 0;

Propositional logic : deduction and algorithms / Hans Kleine Büning, Theodor Lettman.

Author/creator	Kleine Büning, H.
Other author	Lettmann, T. (Theodor)
Format	Book
Edition	English ed.
Publication Info	Cambridge, U.K. ; New York : Cambridge University Press, 1999.
Description	x, 409 pages : illustrations ; 24 cm.
Subjects	Computer logic. Computer algorithms.

Series	Cambridge tracts in theoretical computer science ; 48 Cambridge tracts in theoretical computer science ; 48. ^A221007
General note	"First published in German by B.G. Teubner in 1994"--T.p. verso.
Bibliography note	Includes bibliographical references (p. 385-402) and indexes.
LCCN	98038806
ISBN	0521630177 (hardcover)

Propositional logic : deduction and algorithms / Hans Kleine Büning, Theodor Lettman.

Click here for more information about this title