Contents
Reviews
R. H. Vincent. The paradoxes of confirmation. Mind, n.s. vol. 73 (1964), pp. 273–279.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 250-251
-
- Article
- Export citation
Thomas Moro Simpson. Formas lógicas, realidad y significado. With a preface by Gregorio Klimovsky. Editorial Universitaria de Buenos Aires, Buenos Aires1964, 302 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 112-113
-
- Article
- Export citation
Tibor Rado. On a simple source for non-computable functions. Proceedings of the Symposium on Mathematical Theory of Automata, New York, N.Y., April 24, 25, 26, 1962, Microwave Research Institute symposia series vol. 12, Polytechnic Press of the Polytechnic Institute of Brooklyn, Brooklyn, N.Y., 1963, pp. 75–81.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 524
-
- Article
- Export citation
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. Tennenbaum. Degree of unsolvability and the rate of growth of functions. Proceedings of the Symposium on Mathematical Theory of Automata, New York, N.Y., April 24, 25, 26, 1962, Microwave Research Institute symposia series vol. 12, Polytechnic Press of the Polytechnic Institute of Brooklyn, Brooklyn, N.Y., 1963, pp. 71–73.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 524
-
- 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
R. A. Sharpe. Validity and the paradox of confirmation. The philosophical quarterly (St. Andrews), vol. 14 (1964), pp. 170–173.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 251
-
- Article
- Export citation
Mikel Dufrenne. Language & philosophy. Translated from the French by Henry B. Veatch. Indiana University Press, Bloomington1963, 106 pp. - Paul Henle. Foreword. Therein, pp. 11–13.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 113-114
-
- 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
David G. Cantor. On the ambiguity problem of Backus systems. Journal of the Association for Computing Machinery, vol. 9 (1962), pp. 477–479.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 114
-
- Article
- Export citation
Nicholas Rescher. Definitions of “existence.”Philosophical studies (Minneapolis), vol. 8 (1957), pp. 65–69. - Karel Lambert. Notes on “E!”. Philosophical studies (Minneapolis), vol. 9 (1958), pp. 60–63.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 251
-
- Article
- Export citation
Raymond M. Smullyan. Extended canonical systems. Proceedings of the American Mathematical Society, vol. 12 (1961), pp. 440–442.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 524
-
- Article
- Export citation
Sheila A. Greibach. The undecidability of the ambiguity problem for minimal linear grammars. Information and control, vol. 6 (1963), pp. 119–125.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 114-115
-
- 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
Karel Lambert. Notes on “E!“: II. Philosophical studies (Minneapolis), vol. 12 (1961), pp. 1–5.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 251
-
- Article
- Export citation
S. Ú. Maslov. Nékotoryé svojstva apparata kanoničéskih isčislénij E. L. Posta (some properties of E. L. Post's apparatus of canonical systems). Problémy konstruktivnogo napravléniá v matématiké, 3, Sbornik rabot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 72, Izdatél′stvo “Nauka,”Moscow and Leningrad1964, pp. 5–56.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 524-526
-
- Article
- Export citation
Peter S. Landweber. Decision problems of phrase-structure grammars. IEEE transactions on electronic computers, vol. EC-13 (1964), pp. 354–362.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 115
-
- Article
- Export citation
S. Ú. Maslov. O “Tag”-problémé E. L. Posta (On the “Tag” problem of E. L. Post). Problémy konstruktivnogo napravléniá v matématiké, 3, Sbornik rabot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 72, Izdatél′stvo “Nauka,”Moscow and Leningrad1964, pp. 57–68.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 526-527
-
- Article
- Export citation
Karel Lambert. Notes on E! III: A theory of descriptions. Philosophical studies (Minneapolis), vol. 13 (1962), pp. 51–59. - Jaakko Hintikka. Definite descriptions and self-identity.Philosophical studies (Minneapolis), vol. 15 (1964), pp. 5–7. - Karel Lambert. Notes on E! IV. Philosophical studies (Minneapolis), vol. 15 (1964), pp. 85–88. (See Errata, ibid., vol. 16 (1965), p. 48.) - Karel Lambert. Definite descriptions and self-identity. II. Philosophical studies (Minneapolis), vol. 15 (1964), vol. 17 (1966), pp. 35–43.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 252
-
- 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