Contents
Reviews
Sheila Greibach. A note on undecidable properties of formal languages. Mathematical systems theory, vol. 2 (1968), pp. 1–6.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 245
-
- Article
- Export citation
M. Gorman. Semantics. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967,vol. 13, pp. 66–68.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 598-599
-
- Article
- Export citation
Wilhelm Ackermann. Der Aufbau einer höheren Logik. Archiv für mathematische Logik und Grundlagenforschung, Bd. 7 (1965), S. 5–22.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 458
-
- Article
- Export citation
Warren D. Goldfarb. Preface. Logical writings, by Jacques Herbrand, edited by Warren D. Goldfarb, Harvard University Press, Cambridge, Massachusetts, and D. Reidel Publishing Company, Dordrecht-Holland, 1971, pp. V–VII.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 94-95
-
- Article
- Export citation
R. M. Mcinerny. Language. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 8, pp. 365–376. - J. Hirschberger. Leibniz, Gottfried Wilhelm von. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 8, pp. 620–621. - W. E. Carlo. Methodology (physical sciences). New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 9, pp. 747–750. - E. A. Maziarz. Number. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 10, pp. 561–566. - J. A. Ladrière. Verification. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 14, pp. 615–616. - W. E. Stokes. Whitehead, Alfred North. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 14, pp. 896–897. - B. F. McGuinness. Wittgenstein, Ludwig. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 14, pp. 983–984. - G. Stahl. Un développement de la logique des questions. Revue philosophique de la France et de l'Etranger, vol. 153 (1963), pp. 293–301.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 599-600
-
- Article
- Export citation
Paul Bernays. On the original Gentzen consistency proof for number theory. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 409–417.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 95
-
- Article
- Export citation
J. Hartmanis and J. E. Hopcroft. What makes some language theory problems undecidable. Journal of computer and system sciences, vol. 4 (1970), pp. 368–376.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 245-246
-
- Article
- Export citation
Richard Montague. Set theory and higher-order logic. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 131–148.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 459
-
- Article
- Export citation
Haskell B. Curry. The undecidability of λK-conversion. Foundations of mathematics, Symposium papers commemorating the sixtieth birthday of Kurt Gödel, edited by Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn, Springer-Verlag, Berlin, Heidelberg, and New York, 1969, pp. 10–14.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 246
-
- Article
- Export citation
A. S. Yessenin-Volpin. The ultra-intuitionistic criticism and the antitraditional program for foundations of mathematics. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 3–45.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 95-97
-
- Article
- Export citation
Paul J. Cohen. Comments on the foundations of set theory. Axiomatic set theory, Proceedings of symposia in pure mathematics, vol. 13 part 1, American Mathematical Society, Providence, Rhode Island, 1971, pp. 9–15.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 459-460
-
- Article
- Export citation
Gerold Stahl. The effectivity of questions. Noûs, vol. 3 (1969), pp. 211–218.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 600
-
- Article
- Export citation
William B. Easton. Powers of regular cardinals. Annals of mathematical logic, vol. 1 no. 2 (1970), pp. 139–178. - J. R. Shoenfield. Unramified forcing. Axiomatic set theory, Proceedings of symposia in pure mathematics, vol. 13 part 1, American Mathematical Society, Providence, Rhode Island, 1971, pp. 357–381.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 460-461
-
- Article
- Export citation
J. Ridder. Die Gentzenschen Schluszverfahren in modalen Aussagenlogiken. Koninklyke Nederlandse Akademie van Wetenschappen, Proceedings, ser. A vol. 58 (1955), pp. 163–169, 170–177, 270–274, 275–276; also Indagationes mathematicae, vol. 17 (1955), pp. 163–169, 170–177, 270–274, 275–276. - K. Matsumoto, M. Ohnishi, and J. Ridder. Die Gentzenschen Schluszverfahren in modalen Aussagenlogiken. I. Koninklyke Nederlandse Akademie van Wetenschappen, Proceedings, ser. A, vol. 60 (1957), pp. 481–491; Koninklyke Nederlandse Akademie van Wetenschappen, Proceedings, ser. A, vol. 19 (1957), pp. 481–491. - J. Ridder. Die Gentzenschen Schluszverfahren in modalen Aussagenlogiken. II and III. Koninklyke Nederlandse Akademie van Wetenschappen, Proceedings, ser. A, vol. 61 (1958), pp. 16–22, and pp. 23–27; also Koninklyke Nederlandse Akademie van Wetenschappen, Proceedings, ser. A, vol. 20 (1958), pp. 16–22, and pp. 23–27.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 97-98
-
- Article
- Export citation
Richard Montague. Syntactical treatments of modality, with corollaries on reflexion principles and finite axiomatizability. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23-26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki 1963, pp. 153–167.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 600-601
-
- Article
- Export citation
Donald M. Kaplan. Some completeness results in the mathematical theory of computation. Journal of the Association for Computing Machinery, vol. 15 (1968), pp. 124–134.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 246-247
-
- Article
- Export citation
A. Lévy. The interdependence of certain consequences of the axiom of choice. Fundamenta mathematicae, vol. 54 no. 2 (1964), pp. 135–157.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 461
-
- Article
- Export citation
G. Rousseau. Completeness in finite algebras with a single operation. Proceedings of the American Mathematical Society, vol. 18 (1967), pp. 1009–1013.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 98
-
- Article
- Export citation
Sören Halldén. A pragmatic approach to modal theory. A reprint, with minor changes, of XXXIII 137. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23-26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki 1963, pp. 53–64.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 601-602
-
- Article
- Export citation
Dana Scott. The lattice of flow diagrams. Symposium on semantics of algorithmic languages, edited by E. Engeler, Lecture notes in mathematics, vol. 188, Springer-Verlag, Berlin, Heidelberg, and New York, 1971, pp. 311–366.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 247-248
-
- Article
- Export citation