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