## Bulletin of Symbolic Logic

The Bulletin of Symbolic Logic was established by the Association for Symbolic Logic to provide a journal of high standards to keep the logic community informed quickly of important developments in all parts of the discipline, and to be accessible and of interest to as wide an audience as possible.

Beginning with the 2014 subscription year, electronic access to the full-text of current issues of the Bulletin of Symbolic Logic (BSL) is only available by electronic subscription through Cambridge University Press.

Review: Thomas Strahm, Polynomial Time Operations in Explicit Mathematics; Andrea Cantini, Feasible Operations and Applicative Theories Based on $\lambda \eta$ (2002)