1. A new approach to the functional design of a digital computer
2. HOLLAND J. H. Tests on a cell assembly theory of the action of the brain.
A new method of simulating the central nervous system using an atttomatie digital computer. The University of Michigan Willow Run Laboratories Report Number 2144: 1195-M. Mar. 27. 1959. 137 pp. ---- AND CRICHTON J. W. A new method of simulating the central nervous system using an atttomatie digital computer. The University of Michigan Willow Run Laboratories Report Number 2144:1195-M. Mar. 27. 1959. 137 pp.
3. BUCHI J .R . Weak second-order arithmetic and finite automata. Zeit. Math. Logik and Grundlagen d. A decision procedure for the sequential calculus. (To appear in the Proceedings of the 1960 International Congress for Logic Methodology and the Philosophy of Science.) ---- A decision procedure for the sequential calculus. (To appear in the Proceedings of the 1960 International Congress for Logic Methodology and the Philosophy of Science.)