|
wenzelm@7927
|
1 |
|
|
wenzelm@7927
|
2 |
@Book{Heuser:1986,
|
|
wenzelm@7927
|
3 |
author = {H. Heuser},
|
|
wenzelm@7927
|
4 |
title = {Funktionalanalysis: Theorie und Anwendung},
|
|
wenzelm@7927
|
5 |
publisher = {Teubner},
|
|
wenzelm@7927
|
6 |
year = 1986
|
|
wenzelm@7927
|
7 |
}
|
|
wenzelm@7927
|
8 |
|
|
wenzelm@7927
|
9 |
@InCollection{Narici:1996,
|
|
wenzelm@7927
|
10 |
author = {L. Narici and E. Beckenstein},
|
|
wenzelm@7927
|
11 |
title = {The {Hahn-Banach Theorem}: The Life and Times},
|
|
wenzelm@7927
|
12 |
booktitle = {Topology Atlas},
|
|
wenzelm@7927
|
13 |
publisher = {York University, Toronto, Ontario, Canada},
|
|
wenzelm@7927
|
14 |
year = 1996,
|
|
wenzelm@7927
|
15 |
note = {\url{http://at.yorku.ca/topology/preprint.htm} and
|
|
wenzelm@7927
|
16 |
\url{http://at.yorku.ca/p/a/a/a/16.htm}}
|
|
wenzelm@7927
|
17 |
}
|
|
wenzelm@7927
|
18 |
|
|
wenzelm@7927
|
19 |
@Article{Nowak:1993,
|
|
wenzelm@7927
|
20 |
author = {B. Nowak and A. Trybulec},
|
|
wenzelm@7927
|
21 |
title = {{Hahn-Banach} Theorem},
|
|
wenzelm@7927
|
22 |
journal = {Journal of Formalized Mathematics},
|
|
wenzelm@7927
|
23 |
year = {1993},
|
|
wenzelm@7927
|
24 |
volume = {5},
|
|
wenzelm@7927
|
25 |
institution = {University of Bialystok},
|
|
wenzelm@7927
|
26 |
note = {\url{http://mizar.uwb.edu.pl/JFM/Vol5/hahnban.html}}
|
|
wenzelm@7927
|
27 |
}
|