Propositional logic : deduction and algorithms / Hans Kleine Büning, Theodor Lettman.
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| 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: |
| Item Description: | "First published in German by B.G. Teubner in 1994"--Title page verso. |
|---|---|
| Physical Description: | x, 409 pages : illustrations ; 24 cm. |
| Bibliography: | Includes bibliographical references (pages 385-402) and indexes. |
| ISBN: | 0521630177 (hardcover) |
| Action Note: | committed to retain 20230101 20480101 Alliance Shared Trust https://www.coalliance.org/shared-print-archiving-policies. |