Reviews
R. C. Lyndon. Existential Horn sentences. Proceedings of the American Mathematical Society, vol. 10 (1959), pp. 994–998.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 253
-
- Article
- Export citation
A. D. Tajmanov. O klassé modéléj, zamknutom otnositél'no prámogo proizvédéniá (On a class of models, closed with respect to direct product). Doklady Akadémii Nauk SSSR, vol. 127 (1959), pp. 1173–1175. - A. D. Tajmanov. O klassé modéléj, zamknutyh otnositél'no prámogo proizvédéniá (On a class of models, closed with respect to direct product). Izvéstiá Akadémii Nauk SSSR, Sériá matématičéskaá, vol. 24 (1960), pp. 493–510.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 253-254
-
- Article
- Export citation
V. F. Kostyrko. Ob ošibké v stat'é I. I. Žégalkina, “Probléma razréšimosti na konéčnyh klassah” (On a mistake in the paper of Žégalkin “On the decision problem in finite classes”). Algébra i logika, Séminar (Novosibirsk), vol. 1 no. 5 (1962), pp. 31–36.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 254
-
- Article
- Export citation
G. S. Céjtin. Associativnoé isčslénié s nérazréšimoj problémoj ekvivaléntnosti (Associative calculus with unsolvable equivalence problem). Problémy konstruktivnogo napravléniá v matématiké, 1, Sbornik rabot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 52, Izdatél'stvo Akadémii Nauk SSSR, Moscow and Leningrad1958, pp. 172–189.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 254-255
-
- Article
- Export citation
Alan Cobham. Some remarks concerning theories with recursively enumerable complements. The journal of symbolic logic, vol. 28 no. 1 (for 1963, pub. 1964), pp. 72–74.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 255
-
- Article
- Export citation
Shih-Chao Liu. Four types of general recursive well-orderings. Notre Dame journal of formal logic, vol. 3 (1962), pp. 75–78.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 255-256
-
- Article
- Export citation
A. H. Lachlan. Recursive real numbers. The journal of symbolic logic, vol. 28 no. 1 (for 1963, pub. 1964), pp. 1–16.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 256
-
- Article
- Export citation
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 256-259
-
- Article
- Export citation
Other
Annual Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 260
-
- Article
- Export citation
Abstracts
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 260-270
-
- Article
- Export citation
Notice of a symposium
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 270
-
- Article
- Export citation
Front matter
JSL volume 30 issue 2 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Back matter
JSL volume 30 issue 2 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
-
- Article
-
- You have access
- Export citation