Reviews
J. R. Shoenheld. Some applications of degrees. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 56–59.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 610
-
- Article
- Export citation
J. R. Shoenheld. Applications of model theory to degrees of unsolvability. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 359–363.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 610-611
-
- Article
- Export citation
C. E. M. Yates. A minimal pair of recursively enumerable degrees. The journal of symbolic logic, vol. 31 (1966), pp. 159–168.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 611
-
- Article
- Export citation
A. H. Lachlan. Lower bounds for pairs of recursively enumerable degrees. Proceedings of the London Mathematical Society, set. 3 vol. 16 part 3 (1966), pp. 537–569.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 611
-
- Article
- Export citation
Erik Ellentuck. Solution of a problem of R. Friedberg. Mathematische Zeitschrift, vol. 82 (1963), pp. 101–103.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 611-612
-
- Article
- Export citation
Hu Shih-Hua. Recursive algorithms. Theory of recursive algorithms I. English translation of XXXVII 640(9). Scientia Sinica, vol. 9 (1960), pp. 843–875. Reprinted in Chinese mathematics, vol. 1 (1962), pp. 64–96. - Hu Shih-Hua and Loh Chung-Wan. Kernel functions. Theory of recursive algorithms II. English translation of XXXVII 640(10). Scientia Sinica, vol. 9 (1960), pp. 876–888. Reprinted ibid., pp. 97–109. - Hu Shih-Hua. Normal forms of recursive functions. Theory of recursive algorithms III. English translation of XXXVII 640(11). Scientia Sinica, vol. 9 (1960), pp. 889–896. Reprinted ibid., pp. 110–117.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 612
-
- Article
- Export citation
Solomon Feferman. Some applications of the notions of forcing and generic sets (Summary). The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 89–95. - Solomon Feferman. Some applications of the notions of forcing and generic sets. Fundamenta mathematicae, vol. 56 no. 3 (1965), pp. 325–345.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 612-613
-
- Article
- Export citation
A. H. Kruse. Grothendieck universes and the super-complete models of Shepherdson. Composite mathematica, vol. 17 (1965), pp. 96–101.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 613
-
- Article
- Export citation
Johann Sonner. On the formal definition of categories. Mathematische Zeitschrift, vol. 80 no. 2 (1962), pp. 163–176.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 613-614
-
- Article
- Export citation
B. Rotman and G. T. Kneebone. The theory ofsets and transfinite numbers. Oldbourne mathematical series, Oldbourne, London, and Daniel Davey & Co., Inc., New York, 1966, x + 144 pp.; also American Elsevier Publishing Company, Inc., New York 1968, x + 144 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 614
-
- Article
- Export citation
John Venn. Symbolic logic. Second edition, revised and rewritten. Chelsea Publishing Company, Bronx, N.Y., 1971, xxxviii + 540 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 614-615
-
- Article
- Export citation
Benson Mates. Elementare Logik (Prädikatenlogik der ersten Stufe). German translation of XXXI 483 by Anneliese Oberschelp. Vandenhoeck & Ruprecht, Göttingen1969, 296 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 615-616
-
- Article
- Export citation
Angelo Margaris. First order mathematical logic. Blaisdell Publishing Company, Waltham, Massachusetts, Toronto, and London, 1967, x + 211 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 616
-
- Article
- Export citation
William Craig. Bases for first-order theories and subtheories. The journal of symbolic logic, vol. 25 no. 2 (for 1960, pub. 1961), pp. 97–142.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 616
-
- Article
- Export citation
Hartley RogersJr., An example in mathematical logic. The American mathematical monthly, vol. 70 (1963), pp. 929–945.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 616-617
-
- Article
- Export citation
Hao Wang. The calculus of partial predicates and its extension to set theory I. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 283–288.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 617
-
- Article
- Export citation
Heinz-Dieter Ebbinghaus. Über eine Prädikatenlogik mit partiell definierten Prädikaten und Funktionen. Archie für mathematische Logik und Grundlagenforschung, vol. 12 (1969), pp. 39–53.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 617-618
-
- Article
- Export citation
Robert McNaughton. Testing and generating infinite sequences by a finite automaton. Information and control, vol. 9 (1966), pp. 521–530.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 618
-
- Article
- Export citation
Michael O. Rabin. Decidability of second-order theories and automata on infinite trees. Bulletin of the American Mathematical Society, vol. 74 (1968), pp. 1025–1029. - Michael O. Rabin. Decidability of second-order theories and automata on infinite trees. Transactions of the American Mathematical Society, vol. 141 (1969), pp. 1–35.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 618-619
-
- Article
- Export citation
John Doner. Tree acceptors and some of their applications. Journal of computer and system sciences, vol. 4 (1970), pp. 406–451.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 619
-
- Article
- Export citation