Category:Metalogic

Logic

Philosophical logic Mathematical logic History of logic

Critical thinking Proof theory Model theory

Logicians Set theory Computability theory

Logic literature Concepts in logic Theories of deduction

Logic · Outline of logic

The main article for this category is Metalogic.

This category is often contrasted with Philosophical logic or Philosophy of logic.