Contents
Reviews
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
Jean van Heijenoort. Introductory note. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge Mass., 1967, p. 124. - Bertrand Russell. Letter to Frege. From Frege to Gödel, A source book in mathematical logic, 1879–1931 pp. 124–125. - Jean van Heijenoort. Introductory note. From Frege to Gödel, A source book in mathematical logic, 1879–1931 pp. 126–1271. - Gottlob Frege. Letter to Russell. From Frege to Gödel, A source book in mathematical logic, 1879–1931 pp. 127–128.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 355
-
- Article
- Export citation
W. V. Quine. Introductory note. From Frege to Gödel, A source book in mathematical logic, 1879–1931 pp. 150–152. - Bertrand Russell. Mathematical logic as based on the theory of types. A reprint of 11116. From Frege to Gödel, A source book in mathematical logic, 1879–1931 pp. 152–182.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 355-356
-
- Article
- Export citation
Bertrand Russell. Mathematical logic as based on the theory of types. A reprint of the first five sections of 11116. Contemporary readings in logical theory, edited by Irving M. Copi and James A. Gould, The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1967, pp. 135–153.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 356
-
- Article
- Export citation
D. Hilbert and P. Bernays. Grundlagen der Mathematik II. Second edition of V 16. Springer-Verlag, Berlin, Heidelberg, and New York, 1970, XIV + 561 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 357
-
- Article
- Export citation
Jean Dieudonné. Lógica y matemática. Revista de matemáticas elementales (Bogotá), vol. 2 (1953), pp. 1–7.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 357-358
-
- Article
- Export citation
Hao Wang. Logic, computation and philosophy. L'âge de la science, vol. 3 (1970), pp. 101–115.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 358-359
-
- Article
- Export citation
Heinrich Behmann. Drei Aporien der Identität. Logik and Logikkalkül, edited by Max Käsbauer and Franz von Kutschera, Verlag Karl Alber, Freiburg and Munich 1962, pp. 19–48. Reprinted in Ratio (Frankfurt a.M.), vol. 5 no. 2 (1963), pp. 101–123. - Heinrich Behmann. Three paradoxical aspects of identity. English translation of the preceding. Ratio (Oxford), vol. 5 no. 2 (1963), pp. 113–139.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 359-360
-
- Article
- Export citation