@BOOK{ Book!D - 101373418,
AUTHOR = "E. Borger, H. Kleine Buning, M.M. Richter )eds.(",
TITLE = "CSL'88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : Proceedings",
LIBRARY= "کتابخانه پژوهشگاه دانشهای بنیادی",
SUBJECT = "Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical",
URL = "/book/101373418/CSL88-2nd-Workshop-on-Computer-Science-Logic-D/"}