Journal of Logic and Analysis (Dec 2010)

Constructive theory of Banach algebras

  • Thierry Coquand,
  • Bas Spitters

DOI
https://doi.org/10.4115/jla.v2i0.84
Journal volume & issue
Vol. 2, no. 0

Abstract

Read online

No abstracts available.