Journal of Logic and Analysis, Vol 2 (2010)
Home
About
Log In
Register
Search
Current
Archives
Announcements
Log out
Home
>
Vol 2 (2010)
>
Coquand
Font Size:
Constructive theory of Banach algebras
Thierry Coquand, Bas Spitters
Full Text:
11. [PDF]
This
work
is licensed under a
Creative Commons Attribution 3.0 License
.
Journal of Logic and Analysis ISSN: 1759-9008