Reduction of arithmetic to logic based on the theory of types without the axiom of infinity and the typical ambiguity of arithmetical constants

DOI10.1007/BF02126760zbMath0171.25501WikidataQ114693660 ScholiaQ114693660MaRDI QIDQ2531614

Ludwik Borkowski

Publication date: 1958

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

general logic

Related Items (1)

Deductive foundation and analytic propositions

This page was built for publication: Reduction of arithmetic to logic based on the theory of types without the axiom of infinity and the typical ambiguity of arithmetical constants