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