Descripción: Elsevier «The Annals of Pure and Applied Logic publishes papers and short monographs on topics of current interest in pure and applied logic, the foundations of mathematics and those areas of theoretical computer science and other disciplines which are of direct interest to mathematical logic.» ISSN: 0168-0072