Reviews
J. R. Shoenfield. On degrees of unsolvability. Annals of mathematics, second series, vol. 69 (1959), pp. 644–653. - J. R. Shoenfield. An uncountable set of incomparable degrees. Proceedings of the American Mathematical Society, vol. 11 (1960), pp. 61–62.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 203-204
-
- Article
- Export citation
Gerald E. Sacks. Recursive enumerability and the jump operator. Transactions of the American Mathematical Society, vol. 108 (1963), pp. 223–239.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 204
-
- Article
- Export citation
G. Higman. Subgroups of finitely presented groups. Proceedings of the Royal Society of London, series A, mathematical and physical sciences, vol. 262 (1961), pp. 455–475.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 204-205
-
- Article
- Export citation
J. L. Britton. The word problem for groups. Proceedings of the London Mathematical Society, third series, vol. 8 (1958), pp. 493–506. - John L. Britton. The word problem. Annals of mathematics, second series, vol. 77 (1963), pp. 16–32.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 205-206
-
- Article
- Export citation
Léon Leblanc. Les algèbres booléennes topologiques bornées. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 250 (1960), pp. 3766–3768.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 206
-
- Article
- Export citation
Léon LeBlanc. Transformation algebras. Canadian journal of mathematics, vol. 13 (1961), pp. 602–613.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 206-207
-
- Article
- Export citation
Léon Le Blanc. Représentation des algèbres polyadiques pour anneau. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 250 (1960), pp. 4092–4094.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 207
-
- Article
- Export citation
Léon Le Blanc. Dualité pour les égalités booléennes. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 250 (1960), pp. 3552–3553. - Léon Le Blanc. Les algèbres de transformation. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 250 (1960), pp. 3928–3930. - See XXIX 53(2) and the review above.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 207
-
- Article
- Export citation
John Myhill. Remark on a system of Bernays. The journal of symbolic logic, vol. 28 no. 1 (for 1963, pub. 1964), pp. 75–76.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 208
-
- Article
- Export citation
Hao Wang. Different axiom systems. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 383–431.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 208
-
- Article
- Export citation
Hao Wang. Relative strength and reducibility. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 432–442.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 208
-
- Article
- Export citation
Ettore Carruccio. Sulle dimostrazioni di coerenza dei sistemi ipotetico-deduttivi. Università e Politecnico di Torino, Rendiconti del Seminario Matematico, vol. 10 (1950–1951), pp. 97–110.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 208
-
- Article
- Export citation
Leon Henkin, W. Norman Smith, Verne J. Varineau, Michael J. Walsh. Retracing elementary mathematics. The Macmillan Company, New York1962, xviii + 418 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 209
-
- Article
- Export citation
Leon Henkin. Mathematical induction. MAA film manual no. 1. The Mathematical Association of America, University of Buffalo, Buffalo, N.Y., 1961, v + 21 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 209
-
- Article
- Export citation
A. A. Markov. Matématičéskaá logika i vyčislitél′ naá matématika (Mathematical logic and numerical analysis). Véstnik Akadémii Nauk SSSR, vol. 27 no. 8 (1957), pp. 21–25.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 209
-
- Article
- Export citation
Alonzo Church. Logic, arithmetic, and automata. Proceedings of the International Congress of Mathematicians, 15–22 August 1962, Institut Mittag-Leffler, Djursholm, Sweden, 1963, pp. 23–35.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 210
-
- Article
- Export citation
A. W. Burks and J. B. Wright. Sequence generators and digital computers. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 139–199. - Arthur W. Burks and Jesse B. Wright. Sequence generators, graphs, and formal languages. Information and control, vol. 5 (1962), pp. 204–212.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 210-212
-
- Article
- Export citation
B. I. Finikov. Ob odnom séméjstvé klassov funkcij algébry logiki i ih réalizacii v klassé II-shém (On a family of classes of functions in the algebra of logic and their realizations in the class of II-circuits). Doklady Akadémii Nauk SSSR, vol. 115 (1957), pp. 247–248.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 212
-
- Article
- Export citation
Storrs McCall. A simple decision procedure for one-variable implication/negation formulae in intuitionist logic. Notre Dame journal of formal logic, vol. 3 (1962), pp. 120–122.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 212-213
-
- Article
- Export citation
Alan Rose. Some formalisations of ℵ0-valued prepositional calculi. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 (1956), pp. 204–209.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 213
-
- Article
- Export citation