@article{1183735109, author = {Tait, W. W.}, title = {Functionals Defined by Transfinite Recursion}, journal = {J. Symbolic Logic}, volume = {30}, number = {1}, year = {1965}, pages = { 155-174}, language = {en}, url = {http://dml.mathdoc.fr/item/1183735109} }
Tait, W. W. Functionals Defined by Transfinite Recursion. J. Symbolic Logic, Tome 30 (1965) no. 1, pp. 155-174. http://gdmltest.u-ga.fr/item/1183735109/