Return to search

From constructive mathematics to computable analysis via the realizability interpretation

Techn. University, Diss., 2004--Darmstadt.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/179104072
CreatorsLietz, Peter.
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0016 seconds