Review: Toshiyasu Arai, Some Results on Cut-Elimination, Provable Well-Orderings, Induction and Reflection
Jeremy Avigad
Source: Bull. Symbolic Logic Volume 7, Number 1 (2001), 77-78.
Reviewed Works:
Toshiyasu Arai, Some Results on Cut-Elimination, Provable Well-Orderings, Induction and Reflection.
Full-text: Remote access
If you are a member of the ASL, log in to Euclid for access.
Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.bsl/1182353764
JSTOR: links.jstor.org
