Symposium on Decision Problems: On a Decision Method in Restricted Second Order Arithmetic
- 1 January 1966
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Weak Second‐Order Arithmetic and Finite AutomataMathematical Logic Quarterly, 1960
- Finite Automata and Their Decision ProblemsIBM Journal of Research and Development, 1959
- Circuit Synthesis by Solving Sequential Boolean EquationsMathematical Logic Quarterly, 1959
- Restricted set-theoretical definitions in arithmeticProceedings of the American Mathematical Society, 1958
- Realization of Events by Logical NetsJournal of the ACM, 1958
- Some results in church's restricted recursive arithmeticThe Journal of Symbolic Logic, 1957
- Decidability and essential undecidabilityThe Journal of Symbolic Logic, 1957
- On a Problem of Formal LogicProceedings of the London Mathematical Society, 1930