Arithmetic translations of axiom systems
HTML articles powered by AMS MathViewer
- by Hao Wang
- Trans. Amer. Math. Soc. 71 (1951), 283-293
- DOI: https://doi.org/10.1090/S0002-9947-1951-0043046-1
- PDF | Request permission
References
Bibliographic 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