Annals of Pure and Applied Logic

The Annals of Pure and Applied Logic is a peer-reviewed scientific journal published by Elsevier that publishes papers on applications of mathematical logic in mathematics, in computer science, and in other related disciplines.

The editors of Annals of Pure and Applied Logic include mathematicians Ulrich Kohlenbach at TU Darmstadt in Germany, Thomas Scanlon at University of California, Berkeley, and Philip Scott at the University of Ottawa.