7 results
Hu Shih-Hua. Recursive algorithms. Theory of recursive algorithms I. English translation of XXXVII 640(9). Scientia Sinica, vol. 9 (1960), pp. 843–875. Reprinted in Chinese mathematics, vol. 1 (1962), pp. 64–96. - Hu Shih-Hua and Loh Chung-Wan. Kernel functions. Theory of recursive algorithms II. English translation of XXXVII 640(10). Scientia Sinica, vol. 9 (1960), pp. 876–888. Reprinted ibid., pp. 97–109. - Hu Shih-Hua. Normal forms of recursive functions. Theory of recursive algorithms III. English translation of XXXVII 640(11). Scientia Sinica, vol. 9 (1960), pp. 889–896. Reprinted ibid., pp. 110–117.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 612
- Print publication:
- September 1972
-
- Article
- Export citation
R. J. Plymen. A model of the arithmetic of alephs in the equation calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 257–258.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 321
- Print publication:
- June 1970
-
- Article
- Export citation
R. L. Goodstein and R. D. Lee. A decidable class of equations in recursive arithmetic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 (1966), pp. 235–239.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 618-619
- Print publication:
- January 1969
-
- Article
- Export citation
R. L. Goodstein. A decidable fragment of recursive arithmetic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 199–201.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 618
- Print publication:
- January 1969
-
- Article
- Export citation
Ryszard Nowakowski. Structuralna teoria automatów skończonych określonych za pomocą matryc (A structural theory of matrix-defined finite automata). Polish, with Russian and English summaries. Studia logica, vol. 16 (1965), pp. 75–116.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 391
- Print publication:
- 09 October 1967
-
- Article
- Export citation
Henry A. Pogorzelski. Commutative recursive word arithmetic in the alphabet of prime numbers. Notre Dame journal of formal logic, vol. 5 no. 1 (1964), pp. 13–23.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 271
- Print publication:
- June 1966
-
- Article
- Export citation
H. A. Pogorzelski. Primitive words in an infinite abstract alphabet. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 (1964), pp. 193–198. - H. A. Pogorzelski. Skolem arithmetics on certain concrete word systems. Mathematica Scandinavica, vol. 14 (1964), pp. 93–105.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 271
- Print publication:
- June 1966
-
- Article
- Export citation