@article{1093888521, author = {Fowler, Northrup}, title = {Effective inner product spaces.}, journal = {Notre Dame J. Formal Logic}, volume = {19}, number = {1}, year = {1978}, pages = { 693-701}, language = {en}, url = {http://dml.mathdoc.fr/item/1093888521} }
Fowler, Northrup. Effective inner product spaces.. Notre Dame J. Formal Logic, Tome 19 (1978) no. 1, pp. 693-701. http://gdmltest.u-ga.fr/item/1093888521/