Concatenation as basis for a complete system of arithmetic

DOI10.2307/2266320MaRDI QIDQ5824360zbMATH OpenOpenAlexFDO

Authors 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

Cited in

(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)