19 results
IN MEMORIAM: HARTLEY ROGERS, JR. 1926–2015
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 2 / June 2016
- Published online by Cambridge University Press:
- 05 July 2016, pp. 294-297
- Print publication:
- June 2016
-
- Article
-
- You have access
- Export citation
Musings on Turing's Thesis
-
-
- Book:
- Turing's Legacy
- Published online:
- 05 June 2014
- Print publication:
- 01 May 2014, pp 386-396
-
- Chapter
- Export citation
In Memoriam: Paul J. Cohen 1934–2007
-
- Journal:
- Bulletin of Symbolic Logic / Volume 15 / Issue 4 / December 2009
- Published online by Cambridge University Press:
- 15 January 2014, pp. 439-440
- Print publication:
- December 2009
-
- Article
-
- You have access
- Export citation
Logic at Tver '92
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, p. 1150
- Print publication:
- September 1993
-
- Article
- Export citation
Functorial properties of algebraic closure and Skolemization
- Part of
-
- Journal:
- Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics / Volume 31 / Issue 2 / August 1981
- Published online by Cambridge University Press:
- 09 April 2009, pp. 136-141
- Print publication:
- August 1981
-
- Article
-
- You have access
- Export citation
Meeting of the Association for Symbolic Logic, New York 1969
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 348-358
- Print publication:
- June 1973
-
- Article
- Export citation
A universal embedding property of the RETs
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 51-59
- Print publication:
- March 1970
-
- Article
- Export citation
P. Lorenzen and J. Myhill. Constructive definition of certain analytic sets of numbers. The journal of symbolic logic, vol. 24 no. 1 (1959), pp. 37–49.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 295
- Print publication:
- 23 July 1968
-
- Article
- Export citation
S. C. Kleene. Quantification of number-theoretic functions. Compositio mathematica, vol. 14 no. 1 (1959), pp. 23–40.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 82
- Print publication:
- March 1962
-
- Article
- Export citation
J. C. E. Dekker and J. Myhill. Retraceable sets. Canadian journal of mathematics, vol. 10 (1958), pp. 357–373.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 84-85
- Print publication:
- March 1962
-
- Article
- Export citation
S. C. Kleene. Recursive functionals and quantifiers of finite types I. Transactions of the American Mathematical Society, vol. 91 (1959), pp. 1–52.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 82-83
- Print publication:
- March 1962
-
- Article
- Export citation
Reviews - Evert W. Beth. The foundations of mathematics, A study in the philosophy of science. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, XXVI + 741 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 73-75
- Print publication:
- March 1962
-
- Article
- Export citation
John Myhill. Recursive digraphs, splinters, and cylinders. Mathematische Annalen, vol. 138 (1959), pp. 211–218.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 361-362
- Print publication:
- December 1960
-
- Article
- Export citation
R. L. Goodstein. The recursive irrationality of π. The journal of symbolic logic, vol. 19 (1954), pp. 267–274.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 166-167
- Print publication:
- June 1960
-
- Article
- Export citation
J. R. Shoenfield. Quasicreative sets. Proceedings of the American Mathematical Society, vol. 8 (1957), pp. 964–967.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 166
- Print publication:
- June 1960
-
- Article
- Export citation
Daniel Lacombe. Quelques propriétés d'analyse récursive. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 244 (1957), pp. 838–840, 996–997.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 53-54
- Print publication:
- March 1959
-
- Article
- Export citation
Daniel Lacombe. Classes récursivement fermées et fonctions majorantes. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 240 (1955), pp. 716–718.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 52-53
- Print publication:
- March 1959
-
- Article
- Export citation
Daniel Lacombe. Les ensembles récursivement ouverts ou fermés, et leurs applications à l'analyse récursive. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 245 (1957), pp. 1040–1043.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 53
- Print publication:
- March 1959
-
- Article
- Export citation
Daniel Lacombe. Extension de la notion de fonction récursive aux fonctions d'une ou plusieurs variables réelles. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 240 (1955), pp. 2478–2480, and vol. 241 (1955), pp. 13–14, 151–153. - Daniel Lacombe. Remarques sur les opérateurs récursifs et surles fonctions récursives d'une variable réelle. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 241 (1955), pp. 1250–1252.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 53
- Print publication:
- March 1959
-
- Article
- Export citation