{"publication_status":"published","publisher":"Teubner","status":"public","year":"1994","series_title":"Leitfäden und Monographien der Informatik","date_updated":"2022-01-06T06:59:10Z","doi":"10.1007/978-3-322-84809-3","citation":{"bibtex":"@book{Kleine Büning_Lettmann_1994, series={Leitfäden und Monographien der Informatik}, title={Aussagenlogik - Deduktion und Algorithmen}, DOI={10.1007/978-3-322-84809-3}, publisher={Teubner}, author={Kleine Büning, Hans and Lettmann, Theodor}, year={1994}, collection={Leitfäden und Monographien der Informatik} }","apa":"Kleine Büning, H., & Lettmann, T. (1994). Aussagenlogik - Deduktion und Algorithmen. Teubner. https://doi.org/10.1007/978-3-322-84809-3","mla":"Kleine Büning, Hans, and Theodor Lettmann. Aussagenlogik - Deduktion und Algorithmen. Teubner, 1994, doi:10.1007/978-3-322-84809-3.","short":"H. Kleine Büning, T. Lettmann, Aussagenlogik - Deduktion und Algorithmen, Teubner, 1994.","chicago":"Kleine Büning, Hans, and Theodor Lettmann. Aussagenlogik - Deduktion und Algorithmen. Leitfäden und Monographien der Informatik. Teubner, 1994. https://doi.org/10.1007/978-3-322-84809-3.","ieee":"H. Kleine Büning and T. Lettmann, Aussagenlogik - Deduktion und Algorithmen. Teubner, 1994.","ama":"Kleine Büning H, Lettmann T. Aussagenlogik - Deduktion und Algorithmen. Teubner; 1994. doi:10.1007/978-3-322-84809-3"},"author":[{"last_name":"Kleine Büning","full_name":"Kleine Büning, Hans","first_name":"Hans"},{"orcid":"0000-0001-5859-2457","last_name":"Lettmann","id":"315","first_name":"Theodor","full_name":"Lettmann, Theodor"}],"date_created":"2018-06-25T09:25:15Z","language":[{"iso":"ger"}],"user_id":"315","publication_identifier":{"isbn":["978-3-519-02133-9"]},"type":"book","_id":"3333","title":"Aussagenlogik - Deduktion und Algorithmen"}