Contents
Reviews
Frederic B. Fitch. A theory of logical essences. The monist, vol. 51 (1967), pp. 104–109. - Frederic B. Fitch. A complete and consistent modal set theory. The journal of symbolic logic, vol. 32 (1967), pp. 93–103.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 125
-
- Article
- Export citation
Ü. L. Éršov. Razréšimost′ eléméntarnoj téorii distributivnyh struktur s otnositél′nyml dopolnéniámi i téorii fil′trov (Decidability of the elementary theory of relatively complemented distributive lattices and of the theory of filters). Algébra i logika, Séminar, vol. 3 no. 3 (1964) pp. 17–38.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 126
-
- Article
- Export citation
A. Grzegorczyk, A. Mostowski, and C. Ryll-Nardzewski. Definability of sets in models of axiomatic theories. Bulletin de l′Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 9 (1961), pp. 163–167.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 126
-
- Article
- Export citation
Robert L. Vaught. On a theorem of Cobham concerning undecidable theories. 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. 14–25.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 126-127
-
- Article
- Export citation
A. Ehrenfeucht. Separable theories. Bulletin de l′Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 9 (1961), pp. 17–19.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 127
-
- Article
- Export citation
W. Hanf. Model-theoretic methods in the study of elementary logic. 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. 132–145.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 127-128
-
- Article
- Export citation
A. Mostowski. A class of models for second order arithmetic. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 7 (1959), pp. 401–404. - A. Mostowski. Formal system of analysis based on an infinitistic rule of proof. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2-9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford, London, New York, and Paris, 1961, pp. 141–166.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 128-129
-
- Article
- Export citation
H. Jerome Keisler. Finite approximations of infinitely long formulas. 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. 158–169. - H. Jerome Keisler. Some applications of infinitely long formulas. The journal of symbolic logic, vol. 30 (1965), pp. 339–349.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 129-130
-
- Article
- Export citation
J. R. Shoenfield. On a restricted ω-rule. Bulletin de l′Académie Polonaise des Sciences, Série des sciences, mathématiques, astronomiques et physiques, vol. 7 (1959), pp. 405–407.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 130-131
-
- Article
- Export citation
Jens Erik Fenstad. On the completeness of some transfinite recursive progressions of axiomatic theories. The journal of symbolic logic, vol. 33 (1968), pp. 69–76.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 131
-
- Article
- Export citation
Kempachiro Ohashi. Undecidable theorems ni tuite (On undecidable theorems). Sügaku, vol. 9 no. 2 (1957), pp. 96–97 (32-33).
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 131
-
- Article
- Export citation
Saul A. Kripke. An extension of a theorem of Gaifman-Hales-Solovay. Fundamenta mathematicae, vol. 61 (1967), pp. 29–32.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 131-132
-
- Article
- Export citation
Ph. Dwinger. Direct limits of partially ordered systems of Boolean algebras. Koninklijke Nederlandse Akademie van Wetenschappen, series A, vol. 70 (1967), pp. 317–325; also Indagationes mathematicae, vol. 29 (1967), pp. 317-325.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 132
-
- Article
- Export citation
Motokiti Kondô and Haruo Murata. On proof retrieval: problem-solving machines. I.Proceedings of the Japan Academy, vol. 41 (1965), pp. 254–259. - Motokiti Kondô and Haruo Murata. Standard form in PGO and transformation algorithm: problem-solving machines. II.Proceedings of the Japan Academy, vol. 41 (1965), pp. 355–359. - Motokiti Kondô and Haruo Murata. Transformation of PGO into a calculable expression: problem-solving machines. III.Proceedings of the Japan Academy, vol. 42 (1966), pp. 299–303.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 132-133
-
- Article
- Export citation
G. S. Matvééva. К téorémé Rabina o složnosti vyčislimyh funkcij (On a theorem of Rabin concerning the complexity of computable functions). Sibirskij matématičéskij žurnal, vol. 6 (1965), pp. 546–555.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 133-134
-
- Article
- Export citation
B. A. Trahténbrot. Optimal′nyé vyčísléniá i častotnoé ávlénié Åblonskogo (Optimal computations and the frequency occurrence of Áblonskij). Algébra i logika, Séminar, vol. 4 no. 5 (1965), pp. 79–93.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 134
-
- Article
- Export citation
J. W. Swanson. A variant of Turing machines requiring print instructions only. Logique et analyse, n.s. vol. 10 (1967), pp. 200–206.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 134-135
-
- Article
- Export citation
Seymour Ginsburg and H. Gordon Rice. Two families of languages related to ALGOL. Journal of the Association for Computing Machinery, vol. 9 (1962), pp. 350–371.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 135
-
- Article
- Export citation
Seymour Ginsburg and Edwin H. Spanier. Quotients of context-free languages. Journal of the Association for Computing Machinery, vol. 10 (1963), pp. 487–492.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 135-136
-
- Article
- Export citation
Seymour Ginsburg and Edwin H. Spanier. Bounded ALGOL-like languages. Transactions of the American Mathematical Society, vol. 113 (1964), pp. 333–368.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 136-137
-
- Article
- Export citation