[{"user_id":"315","dc":{"title":["Propositional Logic : Deduction and Algorithms"],"source":["Lettmann T, Kleine Büning H. Propositional Logic : Deduction and Algorithms. Cambridge Univ. Press; 1999."],"creator":["Lettmann, Theodor","Kleine Büning, Hans"],"identifier":["https://ris.uni-paderborn.de/record/3339"],"relation":["info:eu-repo/semantics/altIdentifier/isbn/0521630177"],"date":["1999"],"language":["eng"],"type":["info:eu-repo/semantics/book","doc-type:book","text","http://purl.org/coar/resource_type/c_2f33"],"rights":["info:eu-repo/semantics/closedAccess"],"publisher":["Cambridge Univ. Press"]},"author":[{"id":"315","last_name":"Lettmann","orcid":"0000-0001-5859-2457","first_name":"Theodor"},{"first_name":"Hans","last_name":"Kleine Büning"}],"date_created":"2018-06-25T10:08:43Z","status":"public","publication_status":"published","dini_type":"doc-type:book","publication_identifier":{"isbn":[]},"date_updated":"2022-01-06T06:59:10Z","_id":"3339","creator":{"login":"lettmann","id":"315"},"series_title":"Cambridge tracts in theoretical computer science","language":[{}],"uri_base":"https://ris.uni-paderborn.de","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.","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} }"},"type":"book"}]