Title | Year | Edition | Band |
---|---|---|---|
Propositional logic : deduction and algorithms / Hans Kleine Büning ; Theodor Lettman | 1999 | 1 | 48 |
Title | Year | Edition | Band |
---|---|---|---|
Propositional logic : deduction and algorithms / Hans Kleine Büning ; Theodor Lettman | 1999 | 1 | 48 |