The ''Annals of Pure and Applied Logic'' is a peer-reviewed scientific journal published by

Elsevier Elsevier ( ) is a Dutch academic publishing company specializing in scientific, technical, and medical content. Its products include journals such as ''The Lancet'', ''Cell (journal), Cell'', the ScienceDirect collection of electronic journals, ...

that publishes papers on applications of

mathematical logic Mathematical logic is the study of Logic#Formal logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic com ...

in mathematics, in computer science, and in other related disciplines.About Annals of Pure and Applied Logic

Science Direct ScienceDirect is a searchable web-based bibliographic database, which provides access to full texts of scientific and medical publications of the Dutch publisher Elsevier as well of several small academic publishers. It hosts over 18 million ...

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 The University of California, Berkeley (UC Berkeley, Berkeley, Cal, or California), is a Public university, public Land-grant university, land-grant research university in Berkeley, California, United States. Founded in 1868 and named after t ...

, and Philip Scott at the

University of Ottawa The University of Ottawa (), often referred to as uOttawa or U of O, is a Official bilingualism in Canada, bilingual public research university in Ottawa, Ontario, Canada. The main campus is located on directly to the northeast of Downtown Ot ...

References

{{reflist Mathematical logic journals Elsevier academic journals English-language journals Logic journals