Constructive theory of Banach algebras | Coquand | Journal of Logic and Analysis

Journal of Logic and Analysis, Vol 2 (2010)

Constructive theory of Banach algebras

Thierry Coquand, Bas Spitters

Full Text: 11. [PDF]

Creative Commons License

This work is licensed under a Creative Commons Attribution 3.0 License.

Journal of Logic and Analysis ISSN: 1759-9008