September 2002 Review: Jeremy Avigad, A Realizability Interpretation for Classical Arithmetic
Ulrich Berger
Bull. Symbolic Logic 8(3): 439-440 (September 2002). DOI: 10.2178/bsl/1182353906
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. 3 • September 2002
Back to Top