[{"title":"Propositional Logic : Deduction and Algorithms","user_id":"315","publisher":"Cambridge Univ. Press","author":[{"last_name":"Lettmann","id":"315","first_name":"Theodor","orcid":"0000-0001-5859-2457","full_name":"Lettmann, Theodor"},{"first_name":"Hans","full_name":"Kleine Büning, Hans","last_name":"Kleine Büning"}],"publication_status":"published","publication_identifier":{"isbn":["0521630177"]},"status":"public","date_created":"2018-06-25T10:08:43Z","_id":"3339","date_updated":"2022-01-06T06:59:10Z","series_title":"Cambridge tracts in theoretical computer science","citation":{"short":"T. Lettmann, H. Kleine Büning, Propositional Logic : Deduction and Algorithms, Cambridge Univ. Press, 1999.","ieee":"T. Lettmann and H. Kleine Büning, Propositional Logic : Deduction and Algorithms. Cambridge Univ. Press, 1999.","apa":"Lettmann, T., & Kleine Büning, H. (1999). Propositional Logic : Deduction and Algorithms. Cambridge Univ. Press.","ama":"Lettmann T, Kleine Büning H. Propositional Logic : Deduction and Algorithms. Cambridge Univ. Press; 1999.","chicago":"Lettmann, Theodor, and Hans Kleine Büning. Propositional Logic : Deduction and Algorithms. Cambridge Tracts in Theoretical Computer Science. Cambridge Univ. Press, 1999.","mla":"Lettmann, Theodor, and Hans Kleine Büning. Propositional Logic : Deduction and Algorithms. Cambridge Univ. Press, 1999.","bibtex":"@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} }"},"year":"1999","type":"book","language":[{"iso":"eng"}]}]