March 2003 Some strongly undecidable natural arithmetical problems, with an application to intuitionistic theories
Panu Raatikainen
J. Symbolic Logic 68(1): 262-266 (March 2003). DOI: 10.2178/jsl/1045861513
First Page PDF

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

JOURNAL ARTICLE
5 PAGES

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

Vol.68 • No. 1 • March 2003
Back to Top