Mathematical logic is a sub-branch of symbolic logic in which the foundations of the assumptions upon which rest mathematics itself are investigated and made rigorous.
This category has the following 18 subcategories, out of 18 total.
- 1+1 = 2 (3 P)
- Formal Systems (7 C, 20 P)
- Recursion Theory (3 C, 3 P)
- Some Choice (9 P)
- Well-Ordering Principle (1 C, 6 P)
Pages in category "Mathematical Logic"
The following 22 pages are in this category, out of 22 total.