Beginnings of Logic