I'm an armchair mathematician currently but I have high aspirations for my math career so it's not really important but if you have free time for definite references it would be much appreciated.

Thanks for the references so far. I'll look into Cybernetics. I already know of Coq but haven't looked that close, I'll make a note to investigate.