One. Broad Issues.- 1. On Formalization.- 2. The Concept of Computability [(1953)].- 3. Process and Existence in Mathematics [1961(60)].- 4. Logic, Computation and Philosophy [1971(66)].- Two. Automated Theorem Proving(ATP).- 5. Computer Theorem Proving and Artificial Intelligence [1984(82)].- 6. Proving Theorems by Pattern Recognition, I [1960(59)].- 7. Observations on ATP.- 8. Some Data for ATP.- 9. Proving Theorems by Pattern Recognition, II [1961(60)a].- Three. Decidability and Complexity.- 10. Games, Logic and Computers [1965a].- 11. Dominoes and the AEA Case of the Decision Problem [1963(62)].- 12. Towards Feasible Solutions of the Tautology Problem (with B.Dunhan) [1976(74)].- 13. Ranked Matching and Hospital Interns (with D.A.Martin) [(1977)].- Four. Topics from Theory to Practice.- 14. Logical Fragments Relevant to Computer Science.- 15. Computers and Mathematical Activity.- 16. On Information Processing of the Chinese Language [1979].- The List of the Publications of the Author.
