As We May Think


a machine which will manipulate premises in accordance with formal logic