@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/