TU Darmstadt / ULB / TUbiblio

General logical metatheorems for functional analysis

Gerhardy, Philipp and Kohlenbach, Ulrich (2005):
General logical metatheorems for functional analysis.
21, In: BRICS report series : RS / Basic Research in Computer Science (BRICS), Department of Computer Science, University of Aarhus. - (ISSN: 0909-0878), pp. 65 S., [Article]

Item Type: Article
Erschienen: 2005
Creators: Gerhardy, Philipp and Kohlenbach, Ulrich
Title: General logical metatheorems for functional analysis
Language: English
Journal or Publication Title: BRICS report series : RS / Basic Research in Computer Science (BRICS), Department of Computer Science, University of Aarhus. - (ISSN: 0909-0878)
Volume: 21
Divisions: 04 Department of Mathematics
Date Deposited: 20 Nov 2008 08:22
License: [undefiniert]
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item