Contents
Reviews
A. I. Mal′cév. Sirogo rodstvénnyé modéli i rékursivno sovéršénnyé algebry. Doklady Akadémii Nauk SSSR, vol. 145 (1962), pp. 276–279. - A. I. Mal′cév. Strongly related models and recursively complete algebras. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 3 no. 4 (1962), pp. 987–991.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 649-650
-
- Article
- Export citation
Hao Wang. Logic and computers. The American mathematical monthly, vol. 72(1965), pp. 135–140.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 264
-
- Article
- Export citation
David Greenwood. Quantitative inductive procedures. The nature of science and other essays, by David Greenwood, Philosophical Library, New York1959, pp. 32–43.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 494-496
-
- Article
- Export citation
Max Beberman and Herbert E. Vaughan. High school mathematics. Course 1. Revised edition of XXX 401(10–13). D. C. Heath and Company, Boston1964, ix + 598 pp. - Max Beberman and Herbert E. Vaughan. High school mathematics. Course 1. Teacher's edition. Revised edition of XXX 401(14–17). D. C Heath and Company, Boston1964, pages irregularly numbered. (The pages of the students' edition are reproduced with their same numbers, and with most pages, added material for the teacher is inserted on extra pages.)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 111-112
-
- Article
- Export citation
Luís Washington Vita. Introduçāo à filosofia. With a preface by Miguel Reale. Edições Melhoramentos, São Paulo1964, 252 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 112
-
- Article
- Export citation
Yiannis N. Moschovakis. Notation systems and recursive ordered fields. Compositio mathematica, vol. 17 no. 1 (1965), pp. 40–71.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 650-651
-
- Article
- Export citation
Vladeta Vučković. Dva stava o parcijalnim automatima (Two theorems on partial automata). Matematička biblioteka, vol. 25 (1963), pp. 41–49.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 264-265
-
- Article
- Export citation
Wolfgang Stegmüller. Das Wahrheitsproblem und die Idee der Semantik. Eine Einführung in die Theorien von A. Tarski und R. Carnap. Springer-Verlag, Vienna1957, X + 328 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 496
-
- Article
- Export citation
W. V. Quine. Logic as a source of syntactical insights. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence 1961, pp. 1–5. - Irina Lynch, W. V. Quine. Comments. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence 1961, pp. 254–255.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 496-497
-
- Article
- Export citation
R. E. Stearns and J. Hartmanis. Regularity preserving modifications of regular expressions. Information and control, vol. 6 (1963), pp. 55–69.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 265
-
- Article
- Export citation
Y. N. Moschovakis. Recursive metric spaces. Fundamenta mathematicae, vol. 55 (1964), pp. 215–238.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 651-652
-
- Article
- Export citation
A. J. Ayer. Names and descriptions. The concept of a person and other essays, by A. J. Ayer, Macmillan & Co. Ltd., London, and St. Martin's Press Inc., New York, 1963, pp. 129–161.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 112-113
-
- Article
- Export citation
J. C. E. Dekker. Infinite series of isols. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 77–96.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 652
-
- Article
- Export citation
A. J. Ayer. Truth. The concept of a person and other essays, by A. J. Ayer, Macmillan & Co. Ltd., London, and St. Martin's Press Inc., New York, 1963, pp. 162–187.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 113
-
- Article
- Export citation
J. Richard Büchi. Regular canonical systems. Archiv für mathematische Logik und Grundlagenforschung, vol. 6 nos. 3–4 (1964), pp. 91–111.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 265-267
-
- Article
- Export citation
Paul Henle. Mysticism and semantics. English with Spanish summary. Philosophy and phenomenological research, vol. 9 (1948–1949), pp. 416–422.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 497
-
- Article
- Export citation
N. L. Wilson. The indestructibility and immutability of substances. Philosophical studies (Minneapolis), vol. 7 (1956), pp. 46–48.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 497-498
-
- Article
- Export citation
J. C. E. Dekker. An infinite product of isols. Illinois journal of mathematics, vol. 7 (1963), pp. 668–680.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 652
-
- Article
- Export citation
Jerzy Giedymin. A generalization of the refutability postulate. English with Polish and Russian summaries. Studia logica, vol. 10 (1960), pp. 97–110.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 113-114
-
- Article
- Export citation
Jaakko Hintikka. Distributive normal forms in first-order logic. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 48–91. - Jaakko Hintikka. Distributive normal forms and deductive interpolation. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 (1964), pp. 185–191.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 267-268
-
- Article
- Export citation