Reviews
Abraham Robinson. Non-standard analysis. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 64 (1961), pp. 432–440; also Indagationes mathematicae, vol. 23 (1961), pp. 432-440. - Abraham Robinson. Topics in non-Archimedean mathematics. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 285–298. - Abraham Robinson. On generalized limits and linear functionals. Pacific journal of mathematics, vol. 14 (1964), pp. 269–283. - Alan R. Bernstein and Abraham Robinson. Solution of an invariant subspace problem of K. T. Smith and P. R. Halmos.Pacific journal of mathematics, vol. 16 (1966), pp. 421–431. - Abraham Robinson. Non-standard analysis.Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1966, xi + 293 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 292-294
-
- Article
- Export citation
Nicolas Rescher. The logic of commands. Routledge & Kegan Paul, Ltd., London, and Dover Publications, Inc., New York, 1966, xii + 147 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 499-500
-
- Article
- Export citation
Steven Orey. New foundations and the axiom of counting. Duke mathematical journal, vol. 31 (1964), pp. 655–660.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 649
-
- Article
- Export citation
José de Jesús Martínez. Introducción la lógica moderna. Publicaciones del Instituto de Filosofía e Historia, Panama1962, 156 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 113
-
- Article
- Export citation
P. M. Cohn. Universal algebra. Harper & Row, Publishers, New York, Evanston, and London, 1965, xv + 333 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 113-114
-
- Article
- Export citation
Gerald E. Sacks. The recursively enumerable degrees are dense. Annals of mathematics, ser. 2 vol. 80 (1964), pp. 300–312.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 294-295
-
- Article
- Export citation
Nicholas Rescher. Recent developments and trends in logic. Logique et analyse, n.s. vol. 9 (1966), pp. 269–279. - Yehoshua Bar-Hillel. A neglected recent trend in logic. Logique et analyse, n.s. vol. 10 (1967), pp. 235–238.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 500
-
- Article
- Export citation
Toshio Nishimura. Gödel no teiri o megutte (Gödel's theorem and related topics). Sugaku, vol. 11 no. 1(1959), pp. 1–12.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 649-650
-
- Article
- Export citation
Ruth Barcan Marcus. Iterated deontic modalities. Mind, n.s. vol. 75 (1966), pp. 580–582.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 500
-
- Article
- Export citation
Per Lindström. First order predicate logic with generalized quantifiers. Theoria, vol. 32 (1966), pp. 186–195.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 650
-
- Article
- Export citation
A. A. Fridman. Stépéni nérazréšimosti problémy toždéstva dlá konéčno-oprédélénnyh grupp (Degrees of unsolvability of the word problem for finitely defined groups). Izdatél′stvo “Nauka,”Moscow1967, 193 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 114-115
-
- Article
- Export citation
Gerald E. Sacks. A minimal degree less than O'. Bulletin of the American Mathematical Society, vol. 67 (1961), pp. 416–419.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 295
-
- Article
- Export citation
H. Jerome Keisler. Theory of models with generalized atomic formulas. The journal of symbolic logic, vol. 25 no. 1 (for 1960, pub. 1961), pp. 1–26.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 651
-
- Article
- Export citation
Gerald E. Sacks. Metarecursively enumerable sets and admissible ordinals. Bulletin of the American Mathematical Society, vol. 72 (1966), pp. 59–64. - Gerald E. Sacks. Post's problem, admissible ordinals, and regularity. Transactions of the American Mathematical Society, vol. 124 (1966), pp. 1–23. - Gerald E. Sacks. Metarecursion theory. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by John N. Crossley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 243–263. - Graham C. DriscollJr., Metarecursively enumerable sets and their metadegrees. The Journal of symbolic logic, vol. 33 (1968), pp. 389–11.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 115-116
-
- Article
- Export citation
C. Spector. Inductively defined sets of natural numbers. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2-9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 97–102.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 295-296
-
- Article
- Export citation
William T. Fontaine. Avoidability and the contrary-to-fact conditional in C. L. Stevenson and C. I. Lewis. The journal of philosophy, vol. 48 (1951), pp. 783–788.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 500
-
- Article
- Export citation
A. B. Hutoréckij. O rékursivnom izomorfizmé (On recursive isomorphism). Algébra i logika, Séminar, vol. 4 no. 3 (1965), pp. 85–88.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 117
-
- Article
- Export citation
Saul A. Kripke. Semantical considerations for modal logics. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23-26 August, 1962, Acta Philosophica Fennica1963, pp. 83–94.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 501
-
- Article
- Export citation
T. G. McLaughlin. Some counterexamples in the theory of regressive sets. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 81–87.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 296
-
- Article
- Export citation
A. I. Mal′cév. Régularnyé proizvédéniá modéléj. Izvéstiá Akadémii Nauk SSSR, Sériá matématičéskaá, vol. 23 (1959), pp. 489–502. - A. I. Mal′cév. Regular products of models. English translation of the preceding by J. N. Whitney. American Mathematical Society translations, ser. 2 vol. 39 (1964), pp. 193–206.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 651-652
-
- Article
- Export citation