電腦科學邏輯方法期刊

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