Arithmetic translations of axiom systems
HTML articles powered by AMS MathViewer
- by Hao Wang PDF
- Trans. Amer. Math. Soc. 71 (1951), 283-293 Request permission
References
Additional Information
- © Copyright 1951 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 71 (1951), 283-293
- MSC: Primary 02.0X
- DOI: https://doi.org/10.1090/S0002-9947-1951-0043046-1
- MathSciNet review: 0043046