Contents
Reviews
A. D. Tajmanov. Haraktéristika aksiomatiziruémyh klassov modélej. I. (Characterization of axiomatizable classes of models. I.) Izvéstiá Akadémii Nauk SSSR, Séria matématičéskaá, vol. 25 (1961), pp. 601–620.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 164-165
-
- Article
- Export citation
M. Makkai. On the model theory of denumerably long formulas with finite strings of quantifiers. The journal of symbolic logic, vol. 34 (1969), pp. 437–459.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 337
-
- Article
- Export citation
Th. Skolem. Recursive enumeration of some classes of primitive recursive functions and a majorisation theorem. Det Kongelige Norske Videnskabers Selskabs, Forhandlinger, vol. 35 (for 1962, pub. 1963), pp. 142–148. Reprinted in Selected works in logic, by Th. Skolem, edited by Jens Erik Fenstad, Universitetsforlaget, Oslo, Bergen, and Tromsö, 1970, pp. 681–687.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 526
-
- Article
- Export citation
J. J. C. Smart. Theory construction. Logic and language (Second series), edited by A. G. N. Flew, Basil Blackwell, Oxford 1953, and Philosophical Library, New York 1953, pp. 222–242; also Logic and language (First and second series), edited and with introductions by Antony Flew, Doubleday Anchor Books, Doubleday & Company, Inc., Garden City, N.Y., 1965, pp. 446–467. (Reprinted from Philosophy and phenomenological research, vol. 11 no. 4 (1951), pp. 457-473.)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 665-668
-
- Article
- Export citation
John Staples. A non-standard representation of Boolean algebras, and applications. The bulletin of the London Mathematical Society, vol. 1 (1969), pp. 315–320.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 337
-
- Article
- Export citation
R. W. Ashby. Entailment and modality. Proceedings of the Aristotelian Society, n.s. vol. 63 (1962–1963), pp. 203–216. - John O. Nelson. A question of entailment. The review of metaphysics, vol. 18 (1964–1965), pp. 364–377. - John Bacon. Entailment and the modal fallacy. The review of metaphysics, vol. 18 (1964–1965), pp. 566–571.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 668-670
-
- Article
- Export citation
H. B. Enderton. On provable recursive functions. Notre Dame journal of formal logic, vol. 9 no. 1 (1968), pp. 86–88.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 526-527
-
- Article
- Export citation
A. D. Tajmanov. Haraktéristika aksiomatiziruémyh klassov modélej. II. (Characterization of axiomatizable classes of models. II.) Izvéstiá Akadémii Nauk SSSR, Séria matématičéskaá, vol. 25 (1961), pp. 755–764.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 165
-
- Article
- Export citation
Other
Historia Mathematica
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 670
-
- Article
- Export citation
Reviews
Aubert Daigneault. Operations in polyadic algebras. Transactions of the American Mathematical Society, vol. 158 (1971), pp. 219–229.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 337-338
-
- Article
- Export citation
B. A. Trahténbrot. Ob avtosvodimosti. Doklady Akadémii Nauk SSSR, vol. 192 (1970), pp. 1224–1227. - B. A. Trahtenbrot. On autoreducibility. English translation of the preceding by M. Machover. Soviet mathematics, vol. 11 no. 3 (1970), pp. 814–817.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 527
-
- Article
- Export citation
A. D. Tajmanov. Haraktéristika konéčno-aksiomatiziruémyh klassov modéléj. Sibirskij matématičéskij žurnal, vol. 2 (1961), pp. 759–766. - A. D. Tajmanov. Haraktéristika konéčno aksiomatiziruémyh klassov modéléj. Doklady Akadémii Nauk SSSS, vol. 138 (1961), pp. 67–69. - A. D. Taimanov. Characterization of finitely axiomatizable classes of models. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 2 no. 3 (1961), pp. 552–554.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 165-166
-
- Article
- Export citation
Other
Notice of summer institute, logic colloquium, and meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 671
-
- Article
- Export citation
Reviews
Dana Scott. Existence and description in formal logic. Bertrand Russell, Philosopher of the century, Essays in his honour, edited by Ralph Schoenman, Little, Brown and Company, Boston and Toronto, and George Allen & Unwin Ltd, London, 1967, pp. 181–200.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 166-169
-
- Article
- Export citation
S. I. Adjan. Defining relations and algorithmic problems for groups and semigroups. English translation of XXXVIII 357 by M. Greendlinger. Proceedings of the Steklov Institute of Mathematics, no. 85 (for 1966, pub. 1967), American Mathematical Society, Providence1967, iii + 152 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 338-339
-
- Article
- Export citation
George Boolos and Hilary Putnam. Degrees of unsolvability of constructible sets of integers. The journal of symbolic logic, vol. 33 no. 4 (for 1968, pub. 1969), pp. 497–513.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 527-528
-
- Article
- Export citation
Saunders Mac Lane. Categorical algebra and set-theoretic foundations. Axiomatic set theory, Proceedings of symposia in pure mathematics, vol. 13 part 1, American Mathematical Society, Providence, Rhode Island, 1971, pp. 231–240.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 528
-
- Article
- Export citation
Other
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 169-174
-
- Article
- Export citation
Reviews
John T. Kearns. Combinatory logic with discriminators. The journal of symbolic logic, vol. 34 (1969), pp. 561–575.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 339-340
-
- Article
- Export citation
Other
Fellowship and research opportunities in the mathematical sciences
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 671
-
- Article
- Export citation