《計(jì)算機(jī)科學(xué)中的邏輯方法》是一本全面參考、開放存取、免費(fèi)的電子期刊。歡迎關(guān)于計(jì)算機(jī)科學(xué)的理論和實(shí)踐領(lǐng)域的論文，涉及廣義的邏輯方法;下面列出了其范圍內(nèi)的一些特定領(lǐng)域。論文的評(píng)審采用傳統(tǒng)的方式，每篇論文有兩名或兩名以上的評(píng)審人員。版權(quán)歸作者所有。

Logical Methods in Computer Science is a fully refereed, open access, free, electronic journal. It welcomes papers on theoretical and practical areas in computer science involving logical methods, taken in a broad sense; some particular areas within its scope are listed below. Papers are refereed in the traditional way, with two or more referees per paper. Copyright is retained by the author.