Mathematical logic

Frae Wikipedia
Lowp tae: navigation, rake

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