Modern Logic And Its Symbolic Language