Title: Short History of Logic