Contents
Reviews
Michael O. Rabin. A simple method for undecidability proofs and some applications. 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, Amsterdam1965, pp. 38–68.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 150
-
- Article
- Export citation
Philip K. Hooper. The undecidability of the Turing machine immortality problem. The journal of symbolic logic, vol. 31 (1966), pp. 219–234.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 150
-
- Article
- Export citation
Michael Anderson. Note on the mortality problem for shift state trees. Notre Dame journal of formal logic, vol. 10 no. 3 (1969), pp. 275–276.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 151
-
- Article
- Export citation
Dean N. Arden. Delayed-logic and finite-state machines. Switching circuit theory and logical design, Proceedings of the Second Annual Symposium, Detroit, Mich., October 17–20, 1961, and papers from the First Annual Symposium, Chicago, III., October 9–14,1960, American Institute of Electrical Engineers, New York1961, pp. 133–151.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 151
-
- Article
- Export citation
R. J. Nelson. Introduction to automata.John Wiley & Sons, Inc., New York-London-Sydney1968, xii + 400 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 151-152
-
- Article
- Export citation
Janusz A. Brzozowski. Derivatives of regular expressions. Journal of the Association for Computing Machinery, vol. 11 (1964), pp. 481–494.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 152
-
- Article
- Export citation
Alfred V. Aho and Jeffrey D. Ullman. The theory of languages. Mathematical systems theory, vol. 2 (1968), pp. 97–125.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 152-153
-
- Article
- Export citation
Louis Hjelmslev. Omkring sprogteoriens grundlæggelse. Festskrift udgivet af Københavns Universitet i anledning af Universitetets Aarsfest, 11 1943, Bianco Lunos Bogtrykkeri A/S, Copenhagen1943, pp. 3–113; also published separately by Ejnar Munksgaard, Copenhagen 1943. - Louis Hjelmslev. Prolegomena to a theory of language. Second, revised English translation of the preceding by Francis J. Whitfield. The University of Wisconsin Press, Madison1961, v + 144 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 153-154
-
- Article
- Export citation
Árpád Szabó. Anfänge des euklidischen Axiomensystems. Archive for history of exact sciences, vol. 1 no. 1 (1960), pp. 37–106.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 154-155
-
- Article
- Export citation
Hans Georg Steiner. Frege und die Grundlagen der Geometrie. Mathematisch-Physikalische Semesterberichte (Göttingen), vol. 10 no. 2 (1964), pp. 175–186, and vol. 11 no. 1 (1964), pp. 35–47. - G. Frege. On the foundations of geometry. English translation of 4916.1 by M. E. Szabo. The philosophical review, vol. 69 (1960), pp. 3–17. Reprinted in Essays on Frege, edited by E. D. Klemke, University of Illinois Press, Urbana, Chicago, and London, 1968, pp. 559–575.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 155
-
- Article
- Export citation
Wolfram Schwabhäuser. Über die Vollständigkeit der elementaren euklidischen Geometrie. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 (1956), pp. 137–165.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 156
-
- Article
- Export citation
Wolfram Schwabhäuser. Entscheidbarkeit und Vollständigkeit der elementaren hyperbolischen Geometrie. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 132–205.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 156
-
- Article
- Export citation
Wolfram Schwabhäuser. Über die Nichtdefinierbarkeit einiger Begriffe der hyperbolischen Geometrie mit elementaren Mitteln. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 (1962), pp. 43–55.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 156
-
- Article
- Export citation
Wolfram Schwabhäuser. On completeness and decidability of some non-definable notions of elementary hyperbolic geometry. 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. 159–167.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 156
-
- Article
- Export citation
Jon Barwise. Infinitary logic and admissible sets. The journal of symbolic logic, vol. 34 (1969), pp. 226–252.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 156-157
-
- Article
- Export citation
Walter Felscher. Zur Algebra unendlich longer Zeichenreihen. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 (1965), pp. 5–16.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 157
-
- Article
- Export citation
Dana Scott. Logic with denumerably long formulas and finite strings of quantifiers. 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. 329–341.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 157-158
-
- Article
- Export citation
Carol R. Karp. Finite-quantifier equivalence. 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. 407–412.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 158
-
- Article
- Export citation
J. Heidema and A. P. J. van der Walt. Contributions to the metamathematical theory of ideals. I. Domains with dense kernel. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 70 (1967), pp. 156–162; also Indagationes mathematicae, vol. 29 (1967), pp. 156–162. - J. Heidema. Contributions to the metamathematical theory of ideals. II. Metamathematical prime ideals and radicals. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, vol. 71 (1968), pp. 280–285; also ibid., vol. 30 (1968), pp. 280–285.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 158-159
-
- Article
- Export citation
C. C. Chang. Algebraization of infinitely many-valued 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. 144–146. - C. C. Chang. Algebraic analysis of many valued logics. Transactions of the American Mathematical Society, vol. 88 (1958), pp. 467–490. - C. C. Chang. A new proof of the completeness of the Łukasiewicz axioms. Transactions of the American Mathematical Society, vol. 93 (1959), pp. 74–80.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 159-160
-
- Article
- Export citation