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

Saved in:

Bibliographic Details
Main Author:	Kleine Büning, H. (Hans)
Other Authors:	Lettmann, T. (Theodor)
Format:	Book
Language:	English German
Published:	Cambridge, U.K. ; New York : Cambridge University Press, 1999.
Edition:	English ed.
Series:	Cambridge tracts in theoretical computer science ; 48.
Subjects:	Computer logic. Computer algorithms.

PASCAL Offsite

Holdings details from PASCAL Offsite
Call Number:	QA76.9.L63 K54 1999
QA76.9.L63 K54 1999	Available Place a Hold