Contents
Reviews
Donald J. Collins. Recursively enumerable degrees and the conjugacy problem. Acta mathematica, vol. 122 (1969), pp. 115–160.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 540
-
- Article
- Export citation
Alan Rose. An alternative generalisation of the concept of duality. Mathematische Annalen, vol. 147 (1962), pp. 318–327.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 690-691
-
- Article
- Export citation
Melvin Chris Fitting. Intuitionistic logic model theory and forcing. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1969, 191 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 166-167
-
- Article
- Export citation
Wayne Richter. Extensions of the constructive ordinals. The journal of symbolic logic, vol. 30 (1965), pp. 193–211. - Wayne Richter. Constructive transfinite number classes. Bulletin of the American Mathematical Society, vol. 73 (1967), pp. 261–265. - Wayne Richter. Constructively accessible ordinal numbers. The journal of symbolic logic, vol. 33 (1968), pp. 43–55.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 341-342
-
- Article
- Export citation
Alfred B. Manaster. Rich co-ordinals, addition isomorphisms, and RETs. The journal of symbolic logic, vol. 34 (1969), pp. 45–52.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 342
-
- Article
- Export citation
K. A. Mihajlova. Probléma vhoždéniá dlá prámyh proizvédénij grupp (The occurrence problem for direct products of groups). Doklady Akadémii Nauk SSSR, vol. 119 (1958), pp. 1103–1105. - K. A. Mihajlova. Probléma vhoždéniá dlá prámyh proizvédénij grupp (The occurrence problem for direct products of groups). Matématičéskij sbornik, n.s. vol. 70 (1966), pp. 241–251.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 540-541
-
- Article
- Export citation
Alexander Abian. The theory of sets and transfinite arithmetic.W. B. Saunders Company, Philadelphia and London1965, xiii + 406 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 167
-
- Article
- Export citation
A. A. Zinov'év. Ob odnom sposobé obzora funkcij istinnosti n-značnogo isčisléniá vyskazyvanij (A method of describing the truth-functions of the n-valued propositional calculus). Russian with Polish and English summaries. Studia logica, vol. 11 (1961) pp. 217–222.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 691
-
- Article
- Export citation
B. H. Mayoh. Groups and semigroups with solvable word problems. Proceedings of the American Mathematical Society, vol. 18 (1967), pp. 1038–1039.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 541
-
- Article
- Export citation
G. B. Keene. First-order functional calculus. Monographs in modern logic. Routledge & Kegan Paul Ltd, London, and Dover Publications Inc., New York, 1964, vi + 82 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 167-168
-
- Article
- Export citation
E. Mark Gold. Limiting recursion. The journal of symbolic logic, vol. 30 (1965), pp. 28–48. - Hilary Putnam. Trial and error predicates and the solution to a problem of Mostowski. The journal of symbolic logic, vol. 30 (1965), pp. 49–57.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 342
-
- Article
- Export citation
R. L. Graham. On n-valued functionally complete truth functions. The journal of symbolic logic, vol. 32 (1967), pp. 190–195.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 691
-
- Article
- Export citation
Albert A. Mullin. On a necessary condition for the validity of Goldbach's conjecture. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 145–148.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 343
-
- Article
- Export citation
Dieter Klaua. Systematische Behandlung der lösbaren Fälle des Entscheidungsproblems für den Prädikatenkalkül der ersten Stufe. Zeitsckrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 (1955), pp. 264–270.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 168
-
- Article
- Export citation
L. Novak Gál. A note on direct products. The journal of symbolic logic, vol. 23 no. 1 (1958), pp. 1–6.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 541
-
- Article
- Export citation
Gerald J. Massey. Binary closure-algebraic operations that are functionally complete. Notre Dame journal of formal logic, vol. 11 (1970), pp. 340–342.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 691
-
- Article
- Export citation
W. A. J. Luxemburg. A general theory of monads. Applications of model theory to algebra, analysis, and probability, edited by W. A. J. Luxemburg, Holt, Rinehart and Winston, New York, Chicago, San Francisco, Atlanta, Dallas, Montreal, Toronto, London, and Sidney, 1969, pp. 18–86.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 541-542
-
- Article
- Export citation
J. Łoś, A. Mostowski, and H. Rasiowa. A proof of Herbrand's theorem. Journal de mathématiques pures et appliquées, Folge 9 Bd. 35 (1956), S. 19–24. - J. Łoś, H. Rasiowa, and A. Mostowski. Addition au travail “A proof of Herbrand theorem.”Journal de mathématiques pures et appliquées, Folge 9 Bd. 40 (1961), S. 129–134.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 168-169
-
- Article
- Export citation
Bolesław Sobociński. Note on G. J. Massey's closure-algebraic operation. Notre Dame journal of formal logic, vol. 11 (1970), pp. 343–346.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 691
-
- Article
- Export citation
Albert A. Mullin. On a theorem equivalent to Post's fundamental theorem of recursive function theory. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 203–205.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 343
-
- Article
- Export citation