ESC

Mathematical Logic

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

Linkshttps://en.wikipedia.org/wiki/Mathematical_logic
Added by Madir