1 Logicism and the Development of Computer Science