Constructive reverse mathematics: compactness properties - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hajime Ishihara. Constructive reverse mathematics: compactness properties. In Laura Crosilla, Peter M. Schuster, editors, From sets and types to topology and analysis - Towards practicable foundations for constructive mathematics. Volume 48 of Oxford logic guides, Oxford University Press, 2005.

This author has not been identified. Look up 'Hajime Ishihara' in Google

runs on WebDSL