History of Logic System