The Mathematics of Logic