@article{BSL5_4_Meyer1,
author = {Robert K. MEYER},
title = {Relevant Arithmetic (Abstract)},
journal = {Bulletin of the Section of Logic},
volume = {5},
number = {4},
year = {1976},
pages = {133--137}
}