Propositional logic : deduction and algorithms /

Propositional logic : deduction and algorithms /

Show other versions (1)
Bibliographic Details
Other Authors: Kleine Büning, H (Hans), Lettman, Theodor
Format: Book
Language:English
Published: Cambridge, U.K. ; New York, NY : Cambridge University Press, 1999
Edition:English ed
Series:Cambridge tracts in theoretical computer science 48
Cambridge tracts in theoretical computer science
Subjects:
Computer algorithms
Computer logic

Internet

University of Chicago

Holdings details from University of Chicago
Call Number: QA76.9.L63 P76 1999

Cornell University

Holdings details from Cornell University
Call Number: QA76.9.L63 P76x 1999

Similar Items