Propositional Logic : Deduction and Algorithms
T. Lettmann, H. Kleine Büning, Propositional Logic : Deduction and Algorithms, Cambridge Univ. Press, 1999.
Download
No fulltext has been uploaded.
Book
| Published
| English
Author
Lettmann, TheodorLibreCat 
;
Kleine Büning, Hans
;
Kleine Büning, HansPublishing Year
Series Title / Volume
Cambridge tracts in theoretical computer science
ISBN
LibreCat-ID
Cite this
Lettmann T, Kleine Büning H. Propositional Logic : Deduction and Algorithms. Cambridge Univ. Press; 1999.
Lettmann, T., & Kleine Büning, H. (1999). Propositional Logic : Deduction and Algorithms. Cambridge Univ. Press.
@book{Lettmann_Kleine Büning_1999, series={Cambridge tracts in theoretical computer science}, title={Propositional Logic : Deduction and Algorithms}, publisher={Cambridge Univ. Press}, author={Lettmann, Theodor and Kleine Büning, Hans}, year={1999}, collection={Cambridge tracts in theoretical computer science} }
Lettmann, Theodor, and Hans Kleine Büning. Propositional Logic : Deduction and Algorithms. Cambridge Tracts in Theoretical Computer Science. Cambridge Univ. Press, 1999.
T. Lettmann and H. Kleine Büning, Propositional Logic : Deduction and Algorithms. Cambridge Univ. Press, 1999.
Lettmann, Theodor, and Hans Kleine Büning. Propositional Logic : Deduction and Algorithms. Cambridge Univ. Press, 1999.
Google Scholar
ISBN Search