12 results
Authors' Preface
-
-
- Book:
- Computability in Analysis and Physics
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp vii-viii
-
- Chapter
- Export citation
Effectively extensible theories1
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 56-68
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Donald A. Martin. A theorem on hyper hypersimple sets. The journal of symbolic logic, vol. 28 no. 4 (for 1963, pub. 1964), pp. 273–278.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 139
- Print publication:
- March 1966
-
- Article
- Export citation
J. S. Ullian. Splinters of recursive functions. The journal of symbolic logic, vol. 25 no. 1 (for 1960, pub. 1961), pp. 33–38.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 138-139
- Print publication:
- March 1966
-
- Article
- Export citation
Raymond M. Smullyan. Theory of formal systems. Annals of Mathematics studies, no. 47. Princeton University Press, Princeton1961, xi + 142 pp. - Raymond M. Smullyan. Theory of formal systems. Revised edition. Annals of Mathematics studies, no. 47. Princeton University Press, Princeton1961, xi + 147 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 88-90
- Print publication:
- March 1965
-
- Article
- Export citation
Gerald E. Sacks. On the degrees less than 0′. Annals of mathematics, second series, vol. 77 (1963), pp. 211–231. - Gerald E. Sacks. Correction to “On the degrees less than 0′.”Annals of mathematics, second series, vol. 78 (1963), p. 204.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 1 / March 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 60
- Print publication:
- March 1964
-
- Article
- Export citation
William W. Boone. Partial results regarding word problems and recursively enumerable degrees of unsolvability. Bulletin of the American Mathematical Society, vol. 68 (1962), pp. 616–623.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 4 / December 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. 292
- Print publication:
- December 1963
-
- Article
- Export citation
Günter Asser. Normierte Postsche Algorithmen. Zeitschrift für mathematische Logik und Grundlagen der Mathematik (Berlin), vol. 5 (1959), pp. 323–333.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 87-88
- Print publication:
- March 1962
-
- Article
- Export citation
Richard Friedberg. The uniqueness of finite division for recursive equivalence types. Mathematische Zeitschrift, vol. 75 (1961), pp. 3–7.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 363
- Print publication:
- December 1960
-
- Article
- Export citation
Richard M. Friedberg. Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication. The journal of symbolic logic, vol. 23 no. 3 (for 1958, pub. 1959) pp. 309–316.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 165-166
- Print publication:
- June 1960
-
- Article
- Export citation
Richard M. Friedberg. A criterion for completeness of degrees of unsolvability. The journal of symbolic logic, vol. 22 no. 2 (1957) pp. 159–160.
-
- 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
Richard Friedberg. Un contre-exemple relatif aux fonctionnelles récursives. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 247 (1958), pp. 852–854.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 2 / June 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 171
- Print publication:
- June 1959
-
- Article
- Export citation