I have just started learning logic, and was wondering is there any difference between symbolic and formal logic, or are they the same thing? And I would also like to know what the relationship of mathematical logic and these two logics are