Bulletin of Symbolic Logic

As this article doesn't contain an abstract, the image below is necessary to enable the article to be indexed by certain search engines. The resolution of the full-text PDF is much higher than that shown here.

Book Review

Thomas Strahm. First steps into metapredicativity in explicit mathematics. Sets and proofs, Invited papers from Logic Colloquium '97—European meeting of the Association for Symbolic Logic, Leeds, July 1997 , edited by S. Barry Cooper and John K. Truss, London Mathematical Society lecture note series, no. 258, Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1999, pp. 383–402.

Andrea Cantini

Dipartimento di Filosofia, Università di Firenze, via Bolognese 52, I-50139 Firenze, Italy. cantini@philos.unifi.it.