Concatenation as basis for a complete system of arithmetic

DOI10.2307/2266320zbMATH Open0052.25003OpenAlexW2095942817MaRDI QIDQ5824360

Martin Löb

Publication date: 1953

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2266320

zbMATH Keywords

foundations of mathematics, philosophy, logic

Related Items (2)

Representations of polyadic-like equality algebras ⋮ Formal systems of constructive mathematics

This page was built for publication: Concatenation as basis for a complete system of arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5824360)