The duality of lcassical and constructive notions and proofs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sara Negri, Jan von Plato. The duality of lcassical and constructive notions and proofs. 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 'Sara Negri' in GoogleThis author has not been identified. Look up 'Jan von Plato' in Google

runs on WebDSL