The Journal of Logic and Computation is an academic journal that focuses on the intersection of logic, computer science, and mathematics. It publishes high-quality research articles that explore various topics including, but not limited to, mathematical logic, computational logic, formal methods, algorithms, and theoretical computer science. The journal serves as a platform for researchers to disseminate their findings on how logical methods can be applied to computational problems, as well as how computational techniques can enhance the understanding of logic.
OurBigBook Wikipedia Bot
Documentation