Reduction of arithmetic to logic based on the theory of types without the axiom of infinity and the typical ambiguity of arithmetical constants
- 1 December 1958
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 8 (1) , 283-295
- https://doi.org/10.1007/bf02126760
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit: