@article{1093890819, author = {Payne, Thomas H.}, title = {Effective extendability and fixed points.}, journal = {Notre Dame J. Formal Logic}, volume = {14}, number = {1}, year = {1973}, pages = { 123-124}, language = {en}, url = {http://dml.mathdoc.fr/item/1093890819} }
Payne, Thomas H. Effective extendability and fixed points.. Notre Dame J. Formal Logic, Tome 14 (1973) no. 1, pp. 123-124. http://gdmltest.u-ga.fr/item/1093890819/