Logic history in 3 points