Contents
Reviews
É. I. Grindlingér. O nérazréšimosti problémy toždéstva slov dlá odnogo klassa polugrupp s razréšimoj problèmoj izomorfizma. Doklady Akadémii Nauk SSSR, vol. 171 (1966), pp. 519–520. - E. I. Grindlinger [Greendlinger]. On the unsolvability of the word problem for a class of semigroups with a solvable isomorphism problem. English translation of the preceding by M. Greendlinger. Soviet mathematics, vol. 7 no. 6 (1967), pp. 1502–1503.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 469
-
- Article
- Export citation
Dana Scott and Patrick Suppes. Foundational aspects of theories of measurement. The Journal of symbolic logic, vol. 23 no. 2 (for 1958, pub. 1959), pp. 113–128. Reprinted in Readings in mathematical psychology, Volume I, edited by R. Duncan Luce, Robert R. Bush, and Eugene Galanter, John Wiley and Sons, Inc., New York and London 1963, pp. 212–227.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 287-288
-
- Article
- Export citation
George Goe. Three axiom negation-alternation formulations of the truth-functional calculus. Notre Dame journal of formal logic, t. 5 n° 2 (1964), p. 129–132.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 606
-
- Article
- Export citation
S. A. Cook and Hao Wang. Characterizations of ordinal numbers in set theory. Mathematische Annalen, vol. 164 (1966), pp. 1–25.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 113
-
- Article
- Export citation
F. J. Sansone. Combinatorial functions and regressive isols. Pacific journal of mathematics, vol. 13 (1963), pp. 703–707.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 113-114
-
- Article
- Export citation
W. W. Tait. A counterexample to a conjecture of Scott and Suppes. The Journal of symbolic logic, vol. 24 no. 1 (1959), pp. 15–16.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 288
-
- Article
- Export citation
M. M. Kipnis. Ob odnom svojstvé propozicionaľnyh formul. Doklady Akadémii Nauk SSSR, vol. 174 (1967), pp. 277–278. - M. M. Kipnis. A property of prepositional formulas. English translation of the preceding by S. Walker. Soviet mathematics, vol. 8 no. 3 (1967), pp. 620–622.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 606
-
- Article
- Export citation
Ú. V. Matiásévič. Prostyé priméry nérazréšimyh associativnyh isčislénij. Doklady Akadémii Nauk, vol. 173 (1967), pp. 1264–1266. - Ju. V. Matijasevič. Simple examples of undecidable associative calculi. English translation of the preceding by Sue Walker. Soviet mathematics, vol. 8 no. 2 (1967), pp. 555–557.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 469-470
-
- Article
- Export citation
Dana Scott. A symmetric primitive notion for Euclidean geometry. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 59 (1956), pp. 456–461; also Indagationes mathematicae, vol. 18 (1956), pp. 456–461.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 288-289
-
- Article
- Export citation
F. J. Sansone. The summation of certain series of infinite regressive isols. Proceedings of the American Mathematical Society, vol. 16 no. 6 (for 1965, pub. 1966), pp. 1135–1140.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 114
-
- Article
- Export citation
L. A. Bokut′. Ob odnom svojstvé grupp Buna (On a property of the groups of Boone). Algébra i logika, Séminar, vol. 5 no. 5 (1966), pp. 5–23, and vol. 6 no. 1 (1967), pp. 15–24.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 470-471
-
- Article
- Export citation
É. Ú. Zaharova. Ob odnom dostatočnom uslovii polnoty v Pκ (On a sufficient condition for completeness in Pκ). Problémy kibérnétiki, vol. 16 (1966), pp. 239–244.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 606
-
- Article
- Export citation
Jean Porte. Quelques pseudo-paradoxes de la “calculabilité effective.”2e Congrès Internationale de Cybernétique, Namur, 3–10 Septembre 1958, Actes, Association Internationale de Cybernétique, Namur1960, pp. 332–334. - László Kalmár. An argument against the plausibility of Church's thesis. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by A. Heyting, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 72–80. - Rózsa Peter. Rekursivität und Konstruktivität. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by A. Heyting, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 226–233. - Elliott Mendelson. On some recent criticism of Church's thesis. Notre Dame journal of formal logic, vol. 4 no. 3 (1963), pp. 201–205.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 471-472
-
- Article
- Export citation
Fred J. Sansone. A mapping of regressive isols. Illinois journal of mathematics, vol. 9 (1965), pp. 726–735.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 114
-
- Article
- Export citation
Evert W. Beth and Alfred Tarski. Equilaterality as the only primitive notion of Euclidean geometry. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 59 (1956), pp. 462–467; also ibid., pp. 462–467.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 289
-
- Article
- Export citation
É. Ú. Zaharova. Kritérij polnoty sistém funkcij iz Pκ (Criteria of completeness for systems of functions from Pκ). Problémy kibérnétiki, vol. 18 (1967), pp. 5–10.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 606-607
-
- Article
- Export citation
Fred J. Sansone. On order-preserving extensions to regressive isols. The Michigan mathematical journal, vol. 13 (1966), pp. 353–355.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 114
-
- Article
- Export citation
Toshio Umezawa. On logics intermediate between intuitionistic and classical predicate logic. The journal of symbolic logic, vol. 24 no. 2 (for 1959, pub. 1960), pp. 141–153.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 607
-
- Article
- Export citation
Alfred Tarski. A general theorem concerning primitive notions of Euclidean geometry. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 59 (1956), pp. 468–474; also ibid., pp. 468–474.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 289
-
- Article
- Export citation
Dieter Rödding. Anzahlquantoren in der Kleene-Hierarchie.Archiv für mathematische Logik und Grundlagenforschung, vol. 9 no. 3–4 (1966), pp. 61–65.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 472-473
-
- Article
- Export citation