Contents
Reviews
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
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
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
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
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
J. Barback. Recursive functions and regressive isols. Mathematica Scandinavica, vol. 15 (1964), pp. 29–42.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 269-270
-
- Article
- Export citation
T. G. McLaughlin. Some observations on quasicohesive sets. The Michigan mathematical journal, vol. 11 (1964), pp. 83–87.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 270
-
- Article
- Export citation
Patrick C. Fischer. Theory of provable recursive functions. Transactions of the American Mathematical Society, vol. 117 (1965), pp. 494–520.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 270
-
- Article
- Export citation
Georg Kreisel and William W. Tait. Finite definability of number-theoretic functions and parametric completeness of equational calculi. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 28–38.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 270-271
-
- Article
- Export citation
András Hajnal. On a consistency theorem connected with the generalized continuum problem. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 (1956), pp. 131–136. - A. Hajnal. On a consistency theorem connected with the generalized continuum problem. Acta mathematica Academiae Scientiarum Hungaricae, vol. 12 (1961), pp. 321–376. - Azriel Lévy. A generalization of Gödel's notion of constructibility. The journal of symbolic logic, vol. 25 no. 2 (for 1960, pub. 1961), pp. 147–155.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 271-272
-
- Article
- Export citation
M. N. Bleicher. Some theorems on vector spaces and the axiom of choice. Fundamenta mathematicae, vol. 54 (1964), pp. 95–107.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 272-273
-
- Article
- Export citation
M. N. Bleicher. Multiple choice axioms and axioms of choice for finite sets. Fundamenta mathematicae, vol. 57 (1965), pp. 247–252.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 273
-
- Article
- Export citation
J. D. Halpern. The independence of the axiom of choice from the Boolean prime ideal theorem. Fundamenta mathematicae, vol. 55 (1964), pp. 57–66.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 273-274
-
- Article
- Export citation
Helena Rasiowa and Roman Sikorski. The mathematics of metamathematics. Monografie matematyczne, vol. 41. Państwowe Wydawnictwo Naukowe, Warsaw1963, 519 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 274-275
-
- Article
- Export citation
M. F. Janowitz. Quantifiers and orthomodular lattices. Pacific journal of mathematics, vol. 13 (1963), pp. 1241–1249. - M. F. Janowitz. Quantifier theory on quasi-orthomodular lattices. Illinois journal of mathematics, vol. 9 (1965), pp. 660–676.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 275
-
- Article
- Export citation
R. C. Lyndon. Relation algebras and projective geometry. The Michigan mathematical journal, vol. 8 (1961), pp. 21–28.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 275-276
-
- Article
- Export citation
S. Feferman and R. L. Vaught. The first order properties of products of algebraic systems. Fundamenta mathematicae, vol, 47 (1959), pp. 57–103.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 276
-
- Article
- Export citation
H. Jerome Keisler. Limit ultrapowers. Transactions of the American Mathematical Society, vol. 107 (1963), pp. 382–408.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 277
-
- Article
- Export citation
C. C. Chang. A simple proof of the Rabin-Keisler theorem. Bulletin of the American Mathematical Society, vol. 71 (1965), pp. 642–643.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 277
-
- Article
- Export citation
H. Jerome Keisler. Limit ultraproducts. The journal of symbolic logic, vol. 30 (1965), pp. 212–234.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 277-278
-
- Article
- Export citation