Book 2001

Foundations of Logic and Mathematics

4 readers

Publisher: Birkhäuser Boston
Language: English
Published: 2001

Mathematical logic
Mathematics
Mathematical And Symbolic Logic
Set Theory
Number Theory
Applied
Logic
Computer science

Uses of mathematics and logical reasoning can be traced back through several millennia to ancient civilizations in Babylonia, China, and India. Documents attributed to them show methods to calculate such items as taxes, the dimensions of altars, and the dates of future solstices or eclipses.