Mathematical logic
Mathematical logic is the study of formal logic within mathematics.
Pathways filed under mathematical logic: