9 results
D. Rödding. Klassen rekursiver Funktionen. Proceedings of the summer school in logic, Leeds, 1967, herausgegeben von M. H. Löb, Lecture notes in mathematics, no. 70, Springer-Verlag, Berlin, Heidelberg, und New York, 1968, S. 159–222.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 196
- Print publication:
- March 1972
-
- Article
- Export citation
C.Y. Lee. Categorizing automata by W-machine programs. Journal of the Association for Computing Machinery, Bd. 8 (1961), S. 384–399. - Seiiti Huzino und Mariko Yoneyama. On a proof of Schepherdson's theorem. Memoirs of the Faculty of Science, Kyushu University, Series A Mathematics, Bd. 16 (1962), S. 88–93.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 628
- Print publication:
- January 1969
-
- Article
- Export citation
Seiiti Huzino. Simulatability of finite automata by Schepherdson and Sturgis' machines. Memoirs of the Faculty of Science, Kyushu University, Series A Mathematics, Bd. 20 (1966), S. 1–15. - Seiiti Huzino. On the simulation of real-time Turing machines by a modified Schepherdson-Sturgis' machine. Memoirs of the Faculty of Science, Kyushu University, Series A Mathematics, Bd. 20 (1966), S. 16–26.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 628-629
- Print publication:
- January 1969
-
- Article
- Export citation
R. Fraïssé. Une notion de récursivité relative. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, Państwowe Wydawnictwo Naukowe, Warschau, und Pergamon Press, Oxford—London—New York—Paris, 1961, S. 323–328.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 395-396
- Print publication:
- 09 October 1967
-
- Article
- Export citation
J. C. Shepherdson und H. E. Sturgis. Computability of recursive functions. Journal of the Association for Computing Machinery, Bd. 10 (1963), S. 217–255.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 122-123
- Print publication:
- June 1967
-
- Article
- Export citation
Andrzej Grzegorczyk. On the concept of categoricity. Englisch mit polnischer und russischer Zusammenfassung. Ebd., Bd. 13 (1962), S. 39–66. - A. Grzegorzyk. A kind of categoricity. Colloquium mathematicum, Bd. 9 Heft 2 (1962), S. 183–187.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 387-388
- Print publication:
- September 1965
-
- Article
- Export citation
Heinz Gumin und Hans Hermes. Die Soundness des Prädikatenkalküls auf der Basis der Quineschen Regeln. Archiv für mathematische Logik und Grundlagenforschung, Bd. 2 Heft 2–4 (1956), S. 68–77; auch Archiv für Philosophie, Bd. 5 Heft 4 (1956), S. 388–397.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 386-387
- Print publication:
- September 1965
-
- Article
- Export citation
Andrzej Grzegorczyk. Uzasadnianie aksjomatów teorii matematycznych (On the validation of the sets of axioms in mathematical theories). Polnisch mit russischer und englischer Zusammenfassung. Stadia logica, Bd. 13 (1962), S. 197–202.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 387
- Print publication:
- September 1965
-
- Article
- Export citation
László Kalmár. Another proof of the Gödel-Rosser incompletability theorem. Acta scientiarum mathetnaticarum (Szeged), Bd. 12A (1950), S. 38–43.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 386
- Print publication:
- September 1965
-
- Article
- Export citation