Mathematical Logic

Logic is a subfield of mathematics exploring the applications of formal logic to mathematics.

Links
Added by Madir