Counting and Numbers, from Pure Mathesis to Base Conversion Algorithms

DOI10.1007/978-3-030-20447-1_18zbMath1469.03005OpenAlexW2981832649MaRDI QIDQ3305640

Jan von Plato

Publication date: 10 August 2020

Published in: Mathesis Universalis, Computability and Proof (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-20447-1_18

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematics in the 18th century (01A50) First-order arithmetic and fragments (03F30) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55)

Cites Work

• The Great Formal Machinery Works

This page was built for publication: Counting and Numbers, from Pure Mathesis to Base Conversion Algorithms