Zur Zeit liegt uns keine Inhaltsangabe vor.
Inhaltsverzeichnis
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.
