8877<>1795_0<>elizabeth a. friedman<>the reconstruction of mutilated english texts<>iandc<>george a. miller<>
11403<>6227_2<>nulo<>the axiomatization of arithmetic<>jsyml<>hao wang<>
11405<>6227_4<>nulo<>a variant to turing's theory of computing machines<>jacm<>hao wang<>
