Propositional Logic Deduction and Algorithms [Cambridge Tracts in Theoretical Computer Science] (Hardcover) ISBN-13: 9780521630177 ISBN-10: 0521630177 Genres: Computers & Technology, Science & Math, Substores ? |
Propositional Logic Deduction and Algorithms [Cambridge Tracts in Theoretical Computer Science] (Hardcover) ISBN-13: 9780521630177 ISBN-10: 0521630177 Genres: Computers & Technology, Science & Math, Substores ? |