Image from Amazon.com
Propositional logic : deduction and algorithms / Hans Kleine Buning, Theodor Lettman
Material type:
TextSeries: Cambridge tracts in theoretical computer science; 48Publication details: Cambridge [England]: New York: Cambridge University Press, 1999Description: x, 409 p.; 24 cmISBN: - 0521630177
- Lettman, Theodor
| Item type | Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Open Shelf
|
UMPLIB PEKAN | QA76.63 .B86 1999 (Browse shelf(Opens below)) | Available | 0000001096 |
Includes bibliographical references (p. 385-402) and index