Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Swanson, L., McEliece, R.J. A simple decision procedure for Hofstadter’s Mitt-system. The Mathematical Intelligencer 10, 48–49 (1988). https://doi.org/10.1007/BF03028356
Published:
Issue Date:
DOI: https://doi.org/10.1007/BF03028356