電腦科學邏輯方法期刊

電腦科學邏輯方法期刊 （ Logical Methods in Computer Science ） 創辦於2004年是一份屬於理論計算與應用邏輯的同行評審科學期刊 ( Scientific journal ) 。 本期刊顯示出兩個主要的的特點 ： 以達納 · 史考特爲總主編的優秀編輯群 ， 經由創作共用的許可使刊物內容以開放獲取的方式發行 。