December 2002 Review: Thomas Strahm, S. Barry Cooper, John K. Truss, First Steps into Metapredicativity in Explicit Mathematics
Andrea Cantini
Bull. Symbolic Logic 8(4): 535-536 (December 2002). DOI: 10.2178/bsl/1182353930
First Page PDF

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

JOURNAL ARTICLE
2 PAGES

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

Vol.8 • No. 4 • December 2002
Back to Top