Number systems based on logical calculus

DOI10.12988/IMF.2013.39167OpenAlexW326631838MaRDI QIDQ3191670

Pith Peishu Xie

Publication date: 6 October 2014

Published in: International Mathematical Forum (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/3d5f7823f703fb6029e8fa2bd94dd3d17cd0aa49

zbMATH Keywords

number systemslogical calculus

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Other number representations (11A67)

Related Items (4)

Numerical computations for Operator axioms ⋮ Arithmetic based on the Church numerals in illative combinatory logic ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?)

This page was built for publication: Number systems based on logical calculus

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