Translator Disclaimer
March 2002 Proving consistency of equational theories in bounded arithmetic
Arnold Beckmann
J. Symbolic Logic 67(1): 279-296 (March 2002). DOI: 10.2178/jsl/1190150044
First Page PDF

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

JOURNAL ARTICLE
18 PAGES

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

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