How come I've never heard of him during my logic classes in college and in the textbooks?