Contents
Other
Notice of a meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 203
-
- Article
- Export citation
Reviews
D. C. Luckham, D. M. R. Park, and M. S. Paterson. On formalised computer programs. Journal of computer and system sciences, vol. 4 (1970), pp. 220–249.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 347
-
- Article
- Export citation
J. Hartmanis and F. D. Lewis. The use of lists in the study of undecidable problems in automata theory. Journal of computer and system sciences, vol. 5 (1971), pp. 54–66.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 347
-
- Article
- Export citation
Front matter
JSL volume 39 issue 1 Cover and Front matter and Errata
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f8
-
- Article
-
- You have access
- Export citation
Back matter
JSL volume 39 issue 1 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
-
- Article
-
- You have access
- Export citation
Reviews
Erwin Engeler. Algorithmic approximations. Journal of computer and system sciences, vol. 5 (1971), pp. 67–82.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 348
-
- Article
- Export citation
Zohar Manna. Mathematical theory of partial correctness. Journal of computer and system sciences, vol. 5 (1971), pp. 239–253.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 348
-
- Article
- Export citation
F. D. Lewis. The enumerability and invariance of complexity classes. Journal of computer and system sciences, vol. 5 (1971), pp. 286–303.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 349
-
- Article
- Export citation
A. Salwicki. Formalized algorithmic languages. English with English and Russian summaries. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 18 (1970), pp. 227–232, XVII, XVII. - A. Salwicki. On the equivalence of FS-expressions and programs. English with English and Russian summaries. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 18 (1970), pp. 275–278, XXI, XXI. - A. Salwicki. On the predicate calculi with iteration quantifiers. English with English and Russian summaries. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 18 (1970), pp. 279–285, XXI, XXI.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 349-350
-
- Article
- Export citation
Hao Wang. Formalization and automatic theorem-proving. Information processing 1965, Proceedings of IFIP Congress 65, organized by the International Federation for Information Processing, New York City, May 24–29, 1965, Volume 1, edited by Wayne A. Kalenich, Spartan Books, Inc., Washington, D.C., and Macmillan and Co., Ltd., London, 1965, pp. 51–58.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 350
-
- Article
- Export citation
Alan Rose. The degree of completeness of the m-valued Łukasiewicz propositional calculus, Correction and addendum. Journal of the London Mathematical Society, vol. 44 (1969), pp. 587–591.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 350
-
- Article
- Export citation
David Makinson. Some embedding theorems for modal logic. Notre Dame journal of formal logic, vol. 12 (1971), pp. 252–254.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 351
-
- Article
- Export citation
Akira Nakamura. A remark on the truth-value stipulation for the modal system M′. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 11–14. - Akira Nakamura. On an axiomatic system of modal logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik vol. 14 (1968), pp. 61–66. - R. A. Bull. On a paper of Akira Nakamura. Zeitschrift für mathematische Logik und Grundlagen der Mathematik vol. 15 (1969), pp. 155–156.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 351
-
- Article
- Export citation
M. I. Séménénko. Svojstva nékotoryh podlogik klassičéskogo i intuicionistskogo isčislénij vyskazyvanij (Properties of some sublogics of the classical and intuitionistic propositional calculi). Zeitschrift für mathematische Logik und Grundlagen der Mathematik vol. 16 (1970), pp. 201–238.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 351-352
-
- Article
- Export citation
Aldo Bressan. A general interpreted modal calculus. Yale University Press, New Haven and London 1972, xxviii + 327 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 352
-
- Article
- Export citation
Pascual Jordan. Quantenlogik und das kommutative Gesetz. The axiomatic method with special reference to geometry and physics, Proceedings of an International Symposium held at the University of California, Berkeley, December 26, 1957–January 4, 1958, edited by Leon Henkin, Patrick Suppes, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 365–375.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 353
-
- Article
- Export citation
J. H. Woodger. From biology to mathematics. The British journal for the philosophy of science, vol. 3 (1952–1953), pp. 1–21.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 353-354
-
- Article
- Export citation
Arthur N. Prior. The algebra of the copula. Studies in the philosophy of Charles Sanders Peirce, Second series, edited by Edward C. Moore and Richard S. Robin, The University of Massachusetts Press, Amherst 1964, pp. 79–94.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 354
-
- Article
- Export citation
Atwell R. Turquette. Peirce's icons for deductive logic. Studies in the philosophy of Charles Sanders Peirce, Second series, edited by Edward C. Moore and Richard S. Robin, The University of Massachusetts Press, Amherst 1964, pp. 95–108.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 354
-
- Article
- Export citation
Ignacio Angelelli. Introduction. Two Soviet studies on Frege, by B. V. Birjukov, translated and edited by Ignacio Angelelli, D. Reidel Publishing Company, Dordrecht, Holland, 1964, pp. VII–XVIII. - B. V. Birjukov. On Frege's works on philosophical problems of mathematics. English translation of XXXIX 366(4) by Ignacio Angelelli. D. Reidel Publishing Company, Dordrecht, Holland, 1964, pp. 1–51. - B. V. Birjukov. The theory of sense of Gottlob Frege. English translation of XXXIX 366(5) by Ignacio Angelelli. D. Reidel Publishing Company, Dordrecht, Holland, 1964, pp. 52–99
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 355
-
- Article
- Export citation