Reviews
Steven Orey. New foundations and the axiom of counting. Duke mathematical journal, vol. 31 (1964), pp. 655–660.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 649
-
- Article
- Export citation
Toshio Nishimura. Gödel no teiri o megutte (Gödel's theorem and related topics). Sugaku, vol. 11 no. 1(1959), pp. 1–12.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 649-650
-
- Article
- Export citation
Per Lindström. First order predicate logic with generalized quantifiers. Theoria, vol. 32 (1966), pp. 186–195.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 650
-
- Article
- Export citation
H. Jerome Keisler. Theory of models with generalized atomic formulas. The journal of symbolic logic, vol. 25 no. 1 (for 1960, pub. 1961), pp. 1–26.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 651
-
- Article
- Export citation
A. I. Mal′cév. Régularnyé proizvédéniá modéléj. Izvéstiá Akadémii Nauk SSSR, Sériá matématičéskaá, vol. 23 (1959), pp. 489–502. - A. I. Mal′cév. Regular products of models. English translation of the preceding by J. N. Whitney. American Mathematical Society translations, ser. 2 vol. 39 (1964), pp. 193–206.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 651-652
-
- Article
- Export citation
A. I. Omarov. O kompaktnyh klassah modéléj (On compact classes of models). Algébra i logika, Séminar, vol. 6 no. 2 (1967), pp. 49–60.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 652
-
- Article
- Export citation
Andrzej Grzegorczyk. Some relational systems and the associated topological spaces. Fundamenta mathematicae, vol. 60 (1967), pp. 223–231.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 652-653
-
- Article
- Export citation
Roger C. Lyndon. Metamathematics and algebra: An example. 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 1962, pp. 143–150.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 653
-
- Article
- Export citation
T. Traczyk. Weak isomorphisms of Boolean and Post algebras. Colloquium mathematicum, vol. 13 no. 2 (1965), pp. 159–164.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 653
-
- Article
- Export citation
Azriel Lévy. Definability in axiomatic set theory I. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 127–151.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 653-654
-
- Article
- Export citation
Bruno Scarpellini. On a family of models of Zermelo-Fraenkel set theory. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 (1966), pp. 191–204.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 654
-
- Article
- Export citation
A. Lévy and R. M. Solovay. Measurable cardinals and the continuum hypothesis. Israel journal of mathematics, vol. 5 (1967), pp. 234–248.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 654-655
-
- Article
- Export citation
Harvey Gerber. An extension of Schütte´s Klammer-symbols. Mathematische Annalen, vol. 174 (1967), pp. 203–216.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 655
-
- Article
- Export citation
Anton Jensen. Om aksiomatisk mœngdeteori (On axiomatic set theory). Nordisk matematisk tidskrift, vol. 13 no. 3 (1965), pp. 91–101.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 655
-
- Article
- Export citation
Jean Ladrière. La notion de constructivité en métamathématique. Bulletin de la Société Mathématique de Belgique (1956), pp. 82–97.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 655-656
-
- Article
- Export citation
B. van Rootselaar. Intuition und Konstruktion. Studium generale, vol. 19 (1966), pp. 175–181.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 656
-
- Article
- Export citation
Robert McNaughton. Automata, formal languages, abstract switching, and computability in a Ph. D. computer science program. Communications of the ACM, vol. 11 (1968), pp. 738–740, 746.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 656
-
- Article
- Export citation
Alan Cobham. The intrinsic computational difficulty of functions. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 24–30.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 657
-
- Article
- Export citation
Manuel Blum. A Machine-independent theory of the complexity of recursive functions. Journal of the Association for Computing Machinery, vol. 14 (1967), pp. 322–336.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 657-658
-
- Article
- Export citation
Sheila Greibach. A new normal-form theorem for context-free phrase structure grammars. Journal of the Association for Computing Machinery, vol. 12 (1965), pp. 42–52.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 658
-
- Article
- Export citation