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