Mathematical logic

Mathematical logic is the study of formal logic within mathematics.



Pathways filed under mathematical logic: