

An edition of Propositional logic (1999)
Deduction and Algorithms (Cambridge Tracts in Theoretical Computer Science)
By H. Kleine Büning,Hans Kleine Büning,Theodor Lettmann
Publish Date
August 28, 1999
Publisher
Cambridge University Press
Language
eng
Pages
415