Contents
Reviews
S. Ú. Maslov. О strogoj prédstavimosti množéstv isčisléniámi. Doklady Akadémii Nauk SSSR, Vol. 152 (1963), pp. 272–274. - S. Ju. Maslov. Strong representability of sets by calculi. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 4 no. 5 (1964), pp. 1292–1295.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 391-392
-
- Article
- Export citation
S. Ú. Maslov. O nékotoryh sposobah zadaniá množéstv v bazisah poroždéniá. Doklady Akadémii Nauk SSSR, Vol. 153 (1963), pp. 266–269. - S. Ju. Maslov. Some methods for the definition of sets in generating bases. English translation of the preceding by Avner Falk. Soviet mathematics, vol. 4 no. 6 (1964), pp. 1649–1652.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 392-393
-
- Article
- Export citation
M. I. Kratko. Ob odnom klassé isčislénij Posta. Doklady Akadémii Nauk SSSR, Vol. 165 (1965), pp. 994–995. - M. I. Kratko. A class of post calculi. English translation of the preceding by E. Mendelson. Soviet mathematics, vol. 6 No. 6 (1965), pp. 1544–1545.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 393
-
- Article
- Export citation
M. I. Kratko. Formal′nyé isčisléniá posta i konéčnyé automaty (Formal Post calculi and finite automata). Problémy kibérnétiki, Vol. 17 (1966), pp. 41–65.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 393
-
- Article
- Export citation
A. A. Mučnik. Izomorfizm sistém rékursivno péréčislimyh množéstv s efféktivnymi svojstvami. Trudy Moskovskogo Matématičéskogo Obščéstva, Vol. 7 (1958), pp. 407–412. - A. A. Mučnik. Isomorphism of systems of recursively enumerable sets with effective properties. English translation of the preceding by E. Mendelson. American Mathematical Society translations, ser. 2 vol. 23 (1963), pp. 7–13.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 393-394
-
- Article
- Export citation
C. E. M. Yates. Recursively enumerable sets and retracing functions. Zeitschrift für mathematische logik und Grundlagen der Mathematik, vol. 8 (1962), pp. 331–345.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 394
-
- Article
- Export citation
C. E. M. Yates. Three theorems on the degrees of recursively enumerable sets. Duke mathematical journal, vol. 32 (1965), pp. 461–468.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 394-395
-
- Article
- Export citation
A. H. Lachlan. A note on universal sets. The journal of symbolic logic, vol. 31 (1966), pp. 573–574.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 395
-
- Article
- Export citation
R. Fraïssé. Une notion de récursivité relative. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, Państwowe Wydawnictwo Naukowe, Warschau, und Pergamon Press, Oxford—London—New York—Paris, 1961, S. 323–328.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 395-396
-
- Article
- Export citation
Takakazu Simauti. A note on the construction of ordinal numbers. Commentarii mathematici Universitatis Sancti Pauli, Bd. 12 (für 1963, ersch. 1964), S. 37–39.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 396
-
- Article
- Export citation
F. L. Varpahovskij. О néréalizuémosti dizúnkcii néréalizuémyh formul logiki vyskazyvanij. Doklady Akadémii Nauk SSSR, vol. 161 (1965), pp. 1257–1258. - F. L. Varpahovskij. The nonrealizability of a disjunction of nonrealizable formulas of propositional logic. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 6 No. 2 (1965), pp. 568–570.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 396
-
- Article
- Export citation
M. A. E. Dummett and E. J. Lemmon. Modal logics between S4 and S5. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 250–264. - Iwao Nishimura. On formulas of one variable in intuitionistic propositional calculus. The journal of symbolic logic, vol. 25 No. 4 (for 1960, pub. 1962), pp. 327–331. - D. C. Makinson. There are infinitely many Diodorean modal functions. The journal of symbolic logic, vol. 31 (1966), pp. 406–408.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 396-397
-
- Article
- Export citation
Luiz F. T. Monteiro et Lorenzo González Coppola. Sur une construction des algèbres de Lukasiewicz trivalentes. Notas de lógica matemática n° 17, Instituto de Matemática, Universidad Nacional del sur, Bahia Blanca 1964, 17 P.; zussi Portugaliae mathematica, vol. 23 n° 3–4 (pour 1964, pub. 1965), p. 157–167.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 397-398
-
- Article
- Export citation
Antonio Monteiro. Sur la définition des algèbres de Lukasiewicz trivalentes. Notas de lógica matemática n° 21, Instituto de Matemática, Universidad Nacional del Sur, Bahía Blanca 1964, 20 P.; aussi Bulletin Mathématique de la Société des Sciences Mathématiques et Physiques de la République Populaire Roumaine, N.S. vol. 7 n° 1–2 (Pour 1963, pub. 1965), P. 3–12.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 398-399
-
- Article
- Export citation
Luiz F. T. Monteiro. Axiomes indépendants pour les algèbres de Lukasiewicz trivalentes. Notas de lógica matemática n° 22, Instituto de Matemática, Universidad Nacional del sur, Bahía Blanca 1964, 7 P.; aussi Bulletin mathématique de la Société des Sciences Mathématiques et Physiques de la République Populaire Roumaine, n.S. vol. 7 n° 3–4 (pour 1963, pub. 1966), p. 199–202.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 399
-
- Article
- Export citation
Miguel Sánchez-Mazas. Sobre la estructura de la lógica modal. Episteme, Anuario de filosofia (Caracas), for 1961–63, pub. 1965, pp. 347–361.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 399-400
-
- Article
- Export citation
Richard Montague. Logical necessity, physical necessity, ethics, and quantifiers. Inquiry (Oslo), vol. 3 (1960), pp. 259–269.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 400-401
-
- Article
- Export citation
Timothy Smiley. Relative necessity. The journal of symbolic logic, vol. 28 no. 2 (for 1963, pub. 1964), pp. 113–134. - T. J. Smiley. The logical basis of ethics. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23–26 August, 1962, Acta Philosophica Fennica, no. 16, Helsinki1963, pp. 237–246.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 401
-
- Article
- Export citation
Keith Lehrer and Richard Taylor. Time, truth and modalities. Mind, n.s. vol. 74 (1965), pp. 390–398.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 401-402
-
- Article
- Export citation
Jaakko Hintikka. Aristotle and the “Master Argument” of Diodorus. American philosophical quarterly, vol. 1 (1964), pp. 101–114.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 402
-
- Article
- Export citation