12 results
Jean Porte. Une simplification de la théorie de Turing. Ier Congrès International de Cybernétique, Namur, 26–29 Juin 1956, Actes, Gauthier-Villars, Paris, and Association Internationale de Cybernétique, Namur, 1958, pp. 251–280.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 162
- Print publication:
- June 1960
-
- Article
- Export citation
Raymond M. Smullyan. Undecidability and recursive inseparability. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 (1958), pp. 143–147.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 165
- Print publication:
- June 1960
-
- Article
- Export citation
Heinz Zemanek. Une machine pour l'algèbre des contacts. Ier Congrès International de Cybernétique, Namur, 26–29 Juin 1956, Actes, Gauthier-Villars, Paris, and Association Internationale de Cybernétique, Namur, 1958, pp. 232–234.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 163
- Print publication:
- June 1960
-
- Article
- Export citation
I. L. Gál, J. B. Rosser, and D. Scott. Generalization of a lemma of G. F. Rose. The journal of symbolic logic, vol. 23 no. 2 (for 1958, pub. 1959), pp. 137–138.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 179
- Print publication:
- June 1960
-
- Article
- Export citation
François Paycha. Épistemologie et mécanisation du diagnostic et de la thérapeutique, La logique ternaire. Ier Congrès International de Cybernétique, Namur, 26–29 Juin 1956, Actes, Gauthier-Villars, Paris, and Association Internationale de Cybernétique, Namur, 1958, pp. 806–820.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 163
- Print publication:
- June 1960
-
- Article
- Export citation
N. A. Routledge. Ordinal recursion. Proceedings of the Cambridge Philosophical Society, vol. 49 (1953), pp. 175–182.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 69
- Print publication:
- March 1959
-
- Article
- Export citation
N. A. Routledge. Concerning definable sets. Fundamenta mathematicae, vol. 41 no. 1 (1954), pp. 6–11.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 69
- Print publication:
- March 1959
-
- Article
- Export citation
Hartley RogersJr., Theory of recursive functions and effective computability. Volume I. Mimeographed. Technology Store, Cambridge, Mass., 1957, pp. i–xiv, 1–15, 15a, 16–20, 20a, 21–121, 121–155.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 70
- Print publication:
- March 1959
-
- Article
- Export citation
Martin Davis. Computability & unsolvability. McGraw-Hill series in information processing and computers. McGraw-Hill Book Company, Inc., New York-Toronto-London1958, xxv + 210 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 4 / December 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 432-433
- Print publication:
- December 1958
-
- Article
- Export citation
Measure-theoretic construction of incomparable hyperdegrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 280-288
- Print publication:
- September 1958
-
- Article
- Export citation
Hao Wang. On denumerable bases of formal systems. Mathematical interpretation of formal systems. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1955, pp. 57–84.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 292-293
- Print publication:
- September 1957
-
- Article
- Export citation
Recursive well-orderings
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 151-163
- Print publication:
- June 1955
-
- Article
- Export citation