March 2002 A new ``feasible'' arithmetic
Stephen Bellantoni, Martin Hofmann
J. Symbolic Logic 67(1): 104-116 (March 2002). DOI: 10.2178/jsl/1190150032
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

JOURNAL ARTICLE
13 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

Vol.67 • No. 1 • March 2002
Back to Top