Contents
Reviews
Jaakko Hintikka. The once and future sea fight: Aristotle's discussion of future contingents in De Interpretatione ix. The Philosophical review, vol. 73 (1964), pp. 461–492.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 402-403
-
- Article
- Export citation
T. G. McLaughlin. Co-immune retraceable sets. Bulletin of the American Mathematical Society, vol. 71 (1965), pp. 523–525.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 123
-
- Article
- Export citation
A. Mostowski. On models of axiomatic set-theory. Bulletin de l′Académie Polonaise des Sciences, Classe III, vol. 4 (1956), pp. 663–667. - A. Mostowski. Zaméčaniá k dokazatél′stvam suščéstvovaniá standartnyh modéléj (Note on the proof of the existence of standard models). Trudy Trét′égo Vsésoúznogo Matématičéskogo Sézda, Moskva, iún′-iúl′ 1956, Volume IV, Kratkoé sodéržanié sékcionnyh dokladov, doklady inostrannyh učényh, Izdatél′stvo Akadémii Nauk SSSR, Moscow1959, pp. 232–236.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 531-532
-
- Article
- Export citation
Joseph Ullian. Failure of a conjecture about context free languages. Information and control, vol. 9 (1966), pp. 61–65.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 266-267
-
- Article
- Export citation
Lennart Âqvist. A new approach to the logical theory of interrogatives. Part I. Analysis. Filosofiska föreningen i Uppsala, Uppsala1965, iv + 174 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 403-404
-
- Article
- Export citation
Haskell B. Curry. Combinatory logic. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 90–99.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 267
-
- Article
- Export citation
J. R. Shoenfield. Undecidable and creative theories. Fundamenta mathematicae, vol. 49 no. 2 (1961), pp. 171–179.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 123
-
- Article
- Export citation
Arnold Oberschelp. Über die Axiome produkt-abgeschlossener arithmetischer Klassen. Archiv für mathematische Logik und Grundlagenforschung, vol. 4 (1958), pp. 95–123.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 532-533
-
- Article
- Export citation
Arnold Oberschelp. Über die Axiome arithmetischer Klassen mit Abgeschlossenheits-bedingungen. Archiv für mathematische Logik und Grundlagenforschung, vol. 5 no. 1–2 (1959), pp. 26–36.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 533
-
- Article
- Export citation
Arnold Oberschelp. Ein Satz über die Unlösbarkeitsgrade der Mengen von natürlichen Zahlen. Abhandlungen der Braunschweigische Wissenschaftliche Gesellschaft (Brunswick), vol. 12 (1960), pp. 1–3.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 124
-
- Article
- Export citation
Roderick M. Chisholm. Sentences about believing. Proceedings of the Aristotelian Society, n.s. vol. 56 (1955–6), pp. 125–148. Reprinted, with revisions, in Minnesota Studies in the philosophy of science, Volume II, Concepts, theories, and the mind-body problem, edited by Herbert Feigl, Michael Scriven, and Grover Maxwell, University of Minnesota Press, Minneapolis 1958, pp. 510–520.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 404-405
-
- Article
- Export citation
Haskell B. Curry and Robert Feys. Combinatory logic. Volume I. With two sections by William Craig. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1958, xvi + 417 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 267-268
-
- Article
- Export citation
Charles Landesman. A note on belief. Analysis (Oxford), vol. 24 no. 5 (1964), pp. 180–182.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 405
-
- Article
- Export citation
A. Nerode. Extensions to isolic integers. Annals of mathematics, ser. 2 vol. 75 (1962), pp. 419–448.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 268-269
-
- Article
- Export citation
M. Machover. A note on sentences preserved under direct products and powers. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 8 (1960), pp. 519–523.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 533
-
- Article
- Export citation
Gustav Hensel and Hilary Putnam. On the notational independence of various hierarchies of degrees of unsolvability. The journal of symbolic logic, vol. 30 (1965), pp. 69–86.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 124-125
-
- Article
- Export citation
E. Marczewski. Sur les congruences et les propriétés positives d'algèbres abstraites. Colloquium mathematicum, vol. 2 no. 3–4 (for 1951, pub. 1952), pp. 220–228. - Roger C. Lyndon. Properties preserved under homomorphism. Pacific journal of mathematics, vol. 9 (1959), pp. 143–154. - Roger C. Lyndon. Properties preserved in subdirect products. Pacific journal of mathematics, vol. 9 (1959), pp. 155–164. - R. C. Lyndon. Sentences preserved under homomorphisms; sentences preserved under subdirect products. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 122–124. - R. C. Lyndon. Properties preserved under algebraic constructions. Bulletin of the American Mathematical Society, vol. 65 (1959), pp. 287–299.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 533-534
-
- Article
- Export citation
Roderick M. Chisholm. A note on saying: A reply to Mr. Landesman. Analysis (Oxford), vol. 24 no. 5 (1964), pp. 182–184.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 405
-
- Article
- Export citation
A. H. Lachlan. On a problem of G. E. Sacks. Proceedings of the American Mathematical Society, vol. 16 (1965), pp. 972–979.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 125
-
- Article
- Export citation
A. Nerode. Arithmetically isolated sets and nonstandard models. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 105–116.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 269
-
- Article
- Export citation