Search results
Results from the WOW.Com Content Network
Mathematical logic is the study of formal logic within mathematics.Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory).
According to Mikhail B. Sevryuk, in the January 2006 issue of the Bulletin of the American Mathematical Society, "The number of papers and books included in the Mathematical Reviews (MR) database since 1940 (the first year of operation of MR) is now more than 1.9 million, and more than 75 thousand items are added to the database each year. The ...