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