An edition of Propositional logic (1999)
deduction and algorithms
By H. Kleine Büning,Hans Kleine Büning,Theodor Lettmann
Publish Date
1999
Publisher
Cambridge University Press
Language
eng
Pages
415