Logic And The Development Of Programming Languages, 1930-1975