Eberhard Herrmann. The Index Set {e: W::e:: ::1:: X}. Journal of Symbolic Logic, 51(1):110-116, 1986.
@article{Herrmann86,
title = {The Index Set {e: W::e:: ::1:: X}},
author = {Eberhard Herrmann},
year = {1986},
tags = {e-science},
researchr = {https://researchr.org/publication/Herrmann86},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Logic},
volume = {51},
number = {1},
pages = {110-116},
}