Mathematical logic

subfield o mathematics splorin the applications o formal logic tae mathematics

Mathematical logic is a subfield o mathematics splorin the applications o formal logic tae mathematics.