On a Decision Method in Restricted Second Order Arithmetic
- 1 January 1990
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 7 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