@article{1183731040,
author = {Myhill, John},
title = {Report on Some Investigations Concerning the Consistency of the Axiom of Reducibility},
journal = {J. Symbolic Logic},
volume = {16},
number = {1},
year = {1951},
pages = { 35-42},
language = {en},
url = {http://dml.mathdoc.fr/item/1183731040}
}
Myhill, John. Report on Some Investigations Concerning the Consistency of the Axiom of Reducibility. J. Symbolic Logic, Tome 16 (1951) no. 1, pp. 35-42. http://gdmltest.u-ga.fr/item/1183731040/