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

Wolfgang Burr. Fragments of Heyting arithmetic. The journal of symbolic logic , vol. 65 (2000), pp. 1223–1240.

Lev Beklemishev

Department of Philosophy, Utrecht University, Heidelberglaan 8, 3584 CS Utrecht, The Netherlands. lev.beklemishev@phil.uu.nl.

Metrics