|Wikimedia Commons has media related to Metalogic.|
This category has the following 6 subcategories, out of 6 total.
Pages in category "Metalogic"
The following 26 pages are in this category, out of 26 total.
- Metalogic (computing)
- Axiom independence (philosophy)
- Decidability (logic) (philosophy)
- Formal system (computing)
- Proof theory (computing)
- Type–token distinction (philosophy)
- Use–mention distinction (philosophy)