Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
Purge
English
Log in

Computing tools and representations of arithmetic

From MaRDI portal
Publication:6619815
Jump to:navigation, search

DOI10.1007/978-3-030-98361-1_7MaRDI QIDQ6619815

Baptiste Mélès

Publication date: 16 October 2024





Mathematics Subject Classification ID

General histories, source books (01A05) History of Indian mathematics (01A32) History of Chinese mathematics (01A25) History of Babylonian mathematics (01A17)


Cites Work

  • Title not available (Why is that?)
  • Title not available (Why is that?)
  • Title not available (Why is that?)
  • Title not available (Why is that?)
  • Title not available (Why is that?)
  • Title not available (Why is that?)
  • Combinatory logic. With two sections by William Craig.
  • Über die Bausteine der mathematischen Logik.
  • A set of postulates for the foundation of logic. II
  • A set of postulates for the foundation of logic. I, II.
  • Positions and changes in mathematics on the basis of Chinese texts of the dynasties Han up to Song-Yuan. Some remarks
  • Counting with pebbles. Elementary calculation on the abacus among the ancient Greeks
  • How to Program an Infinite Abacus
  • On Computable Numbers, with an Application to the Entscheidungsproblem
  • The Calculi of Lambda Conversion. (AM-6)







This page was built for publication: Computing tools and representations of arithmetic

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6619815&oldid=40182211"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 13 February 2025, at 20:01.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki