From Constructive Mathematics to Computable Analysis via the Realizability Interpretation

First Page		Document Content
Date: 2011-04-18 10:20:46 Knowledge Mathematical constructivism Realizability Constructivism		From Constructive Mathematics to Computable Analysis via the Realizability Interpretation Add to Reading List Source URL: tuprints.ulb.tu-darmstadt.de Download Document from Source Website File Size: 548,73 KB Share Document on Facebook