From constructive mathematics to computable analysis via the realizability interpretation

Description

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

Links & Downloads

1. http://deposit.d-nb.de/cgi-bin/dokserv?idn=974032735
2. http://elib.tu-darmstadt.de/diss/000528/

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/179104072
Creators	Lietz, Peter.
Source Sets	OCLC
Language	English
Detected Language	English