Logic Theory — History & Overview