Category:Formal Systems
From ProofWiki
This category contains results about formal systems.
Definitions specific to this category can be found in Definitions/Formal Systems.
Subcategories
This category has the following 2 subcategories, out of 2 total.