

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
1-2 of 2 Editions
Language: eng
Pages: 420
Published In: August 28, 1999
Publisher: Cambridge University Press
Language: eng
Pages: 409
Published In: 1999
Publisher: Cambridge University Press