Concatenation as a basis for arithmetic 论文

1946Journal of Symbolic Logic引用 233
History and Theory of MathematicsLogic, programming, and type systemsMathematical and Theoretical Analysis

Concatenation as a basis for arithmetic · 作者