Category:Mathematical Logic
From ProofWiki
A sub-branch of symbolic logic in which the foundations of the assumptions upon which rest mathematics itself are investigated and made rigorous.
Definitions specific to this category can be found in Definitions/Mathematical Logic.
Subcategories
This category has the following 5 subcategories, out of 5 total.
C
M
P
R
Pages in category "Mathematical Logic"
The following 20 pages are in this category, out of 20 total.
