Contents
Reviews
Ú. V. Matiásévič. Sváz' sistém uravnénij v slovah i dlinah s 10-j problémoj Gllbérta. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, II, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta im. V. A. Stéklova AN SSSR, vol. 8, Izdatél'stvo “Nauka,” Leningrad 1968, pp. 132–144. - Yu. V. Matiyasevich. The connection between Hilbert's tenth problem and systems of equations between words and lengths. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part. II, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 8, Consultants Bureau, New York-London1970, pp. 61–67. See Errata, Studies in constructive mathematics and mathematical logic, Part III, ibid., vol. 16, Consultants Bureau, New York-London 1971, p. 96.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 604
-
- Article
- Export citation
Nelson Goodman. Condensation versus simplification. Theoria (Lund), vol. 27 (1961), pp. 47–48.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 177
-
- Article
- Export citation
Vladimir G. Kirin. On the polynomial representation of operators in the n-valued propositional calculus. Glasnik matematičko-fizički i astronomski (Periodicum mathematico-physicum et astronomicum), ser. 2 vol. 18 (1963), pp. 3–12.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 756
-
- Article
- Export citation
Louise Hay. Elementary differences between the isols and the co-simple isols. Transactions of the American Mathematical Society, vol. 127 (1967), pp. 427–441.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 408
-
- Article
- Export citation
Henry E. KyburgJr., A modest proposal concerning simplicity. The philosophical review, vol. 70 (1961), pp. 390–395.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 177
-
- Article
- Export citation
Ú. V. Matiásévič Dvé rédukcii 10-j problémy Gilbérta. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, II, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta im. V. A. Stéklova AN SSSR, vol. 8, Izdatél'stvo “Nauka,” Leningrad 1968, pp. 144–158. - Yu. V. Matiyasevich. Two reductions of Hilbert's tenth problem. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part II, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 8, Consultants Bureau, New York-London 1970, pp. 68–74.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 604-605
-
- Article
- Export citation
A. V. Kuznecov. Undecidability of the general problems of completeness, decidability and equivalence for propositional calculi. English translation of XXXVII 772 by E. Mendelson. American Mathematical Society translations, ser. 2 vol. 59 (1966), pp. 56–72.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 756-757
-
- Article
- Export citation
John Myhill. Note on degrees of partial functions. Proceedings of the American Mathematical Society, vol. 12 (1961), pp. 519–521.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 408
-
- Article
- Export citation
Robert Ackermann. Some remarks on Kyburg's modest proposal. The philosophical review, vol. 71 (1962), pp. 236–240.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 177-178
-
- Article
- Export citation
A. V. Kuznécov and V. Á. Gérčiu. O supérintuicionistskih logikah i finitnoj approksimiruémosti. Doklady Akadémii Nauk SSSR, vol. 195 (1970), pp. 1029–1032. - A. V. Kuznecov and V. A. Gerčiu. Superintuitionistic logics and finite approximability. English translation of the preceding by E. Mendelson. Soviet mathematics, vol. 11 no. 6 (for 1970, pub. 1971), pp. 1614–1619.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 757
-
- Article
- Export citation
É. A. Polákov. Algébry rékursivnyh funkcij (Algebras of recursive functions). Algébra i logika, Séminar, vol. 3 no. 1 (1964), pp. 41–56. - É. A. Polákov. O nékotoryh svojstvah algébr rékwsivnyh funkcij (On some properties of algebras of recursive functions). Algébra i logika, Séminar, vol. 3 no. 3 (1964), pp. 39–57.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 408-409
-
- Article
- Export citation
Ú. V. Matiásévič Arifmétičéskié prédstavléniá stépénéj. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, II, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta im. V. A. Stéklova AN SSSR, vol. 8, Izdatél'stvo “Nauka,” Leningrad 1968, pp. 159–165. - Yu. V. Mattyasevich. Arithmetic representations of powers. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part II, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 8, Consultants Bureau, New York-London 1970, pp. 75–78.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 605
-
- Article
- Export citation
V. I. Amstislavskij. Téorétiko-množéstvénnyé operacii i rékursivnyé iérarhii. Doklady Akadémii Nauk SSSR, vol. 169 (1966), pp. 995–998. - V. I. Amstislavskij. Set-theoretical operations and recursive hierarchies. English translation of the preceding by E. Wesley. Soviet mathematics, vol. 7 no. 4 (1966), pp. 1029–1032. - V. I. Amstislavskij. Rasširénié rékursivnyh iérarhij i R-opéracii. Doklady Akadémii Nauk SSSR, vol. 180 (1968), pp. 1023–1026. - V. I. Amstislavskij. Expansion of recursive hierarchies and R-operations. English translation of the preceding by A. Yablonsky. Soviet mathematics, vol. 9 no. 3 (1968), pp. 703–706. - V. I. Amstislavskij. O razložénii téla množéstv, polučaémyh R-opéraciéj nad rékursivnymi množéstvami. Doklady Akadémii Nauk SSSR, vol. 191 (1970), pp. 743–746. - V. I. Amstislavskij. On the decomposition of a field of sets obtained by an R-operation over recursive sets. English translation of the preceding by S. Shepherd. Soviet mathematics, vol. 11 no. 2 (1970), pp. 419–422. - V. I. Amstislavskij. Efféktivnyé R-množéstva i transfinitnyé prodolžéniá rékursivnyh iérarhij (Effective R-sets and transfinite extensions of recursive hierarchies). Fundamenta mathematicae, vol. 68 no. 1 (1970), pp. 61–68.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 409-410
-
- Article
- Export citation
Ú. V. Matiásévič Diofantovost' péréčislimyh množéstv. Doklady Akadémii Nauk SSSR, vol. 191 (1970), pp. 279–282. - Ju. V. Matijasevič. Enumerable sets are diophantine. English translation of the preceding by A. Doohovskoy. Soviet mathematics, vol. 11 no. 2 (1970), pp. 354–357. See Errata, ibid., vol. 11 no. 6 (for 1970, pub. 1971), p. vi.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 605-606
-
- Article
- Export citation
Frederic B. Fitch. A note on recursive relations. The journal of symbolic logic, vol. 33 (1968), p. 107.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 758
-
- Article
- Export citation
John Myhill. Remarks on the language of physics. Philosophy of science, vol. 30 (1963), pp. 305–306. - H. G. Bohnert. Remarks on Myhill's remarks on coordinate languages. Philosophy of science, vol. 30 (1963), pp. 307–308.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 178
-
- Article
- Export citation
Yiannis N. Moschovakis. Abstract first order computability. Transactions of the American Mathematical Society, vol. 138 (1969), pp. 427–464 and pp. 465–504.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 758
-
- Article
- Export citation
Ju. V. Matijasevič. Diophantine representation of recursively enumerable predicates. Proceedings of the Second Scandinavian Logic Symposium, edited by J. E. Fenstad, Studies in logic and the foundations of mathematics, vol. 63, North-Holland Publishing Company, Amsterdam and London1971, pp. 171–177.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 606
-
- Article
- Export citation
M. A. Aizerman, L. A. Gusev, L. I. Rozonoér, I. M. Smirnova, and A. A. Tal'. The algorithmic insolubility of the problem of recognizing the representability of recursive events in finite automata. English translation of XXXVII 426. Automation and remote control, vol. 22 (1961), pp. 646–652.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 410-411
-
- Article
- Export citation
Louis Rougier. Traité de la connaissance. Gauthier-Villars, Paris1955, 450 p.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 178-179
-
- Article
- Export citation