Reviews
Dag Prawitz. An improved proof procedure. Theoria (Lund), vol. 26 (1960), pp. 102–139.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 126-127
-
- Article
- Export citation
Raphael M. Robinson. Restricted set-theoretical definitions in arithmetic. Proceedings of the American Mathematical Society, vol. 9 (1958), pp. 238–242. - Raphael M. Robinson. Restricted set-theoretical definitions in arithmetic. 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. 139–140.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 659-660
-
- Article
- Export citation
E. J. Lemmon. Quantifiers and modal operators. Proceedings of the Aristotelian Society, vol. 58 (1957–1958), pp. 245–268.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 275-276
-
- Article
- Export citation
Roman Sikorski. Algebra of formalized languages. Colloquium mathematicum, vol. 9 (1962), pp. 1–31.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 508-509
-
- Article
- Export citation
B. van Rootselaar. Algebraische Kennzeichnung freier Wortarithmetiken. Compositio mathematica, vol. 15 (1963), pp. 156–168.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 509
-
- Article
- Export citation
K. Jaakko Hintikka. Reductions in the theory of types. Two papers on symbolic logic, Acta philosophica Fennica no. 8, Helsinki1955, pp. 57–115.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 660
-
- Article
- Export citation
Saul A. Kripke. A completeness theorem in modal logic. The journal of symbolic logic, vol. 24 no. 1 (1959), pp. 1–14.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 276-277
-
- Article
- Export citation
Joseph S. Wholey. Persistence and Herbrand expansions. The journal oj symbolic logic, vol. 28 no. 4 (for 1963, pub. 1964), pp. 280–282.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 127
-
- Article
- Export citation
Saul A. Kripke. The undecidability of monadic modal quantification theory. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 (1962), pp. 113–116.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 277-278
-
- Article
- Export citation
E. J. Lemmon. Quantifier rules and natural deduction. Mind, n.s. vol. 70 (1961), pp. 235–238.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 127
-
- Article
- Export citation
W. W. Tait. Functionals defined by transfinite recursion. The journal of symbolic logic, vol. 30 (1965), pp. 155–174.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 509-510
-
- Article
- Export citation
Solomon Feferman. Systems of predicative analysis. The journal of symbolic logic, Bd. 29 Heft 1 (1964), S. 1–30.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 660-661
-
- Article
- Export citation
Sören Halldén. On the logic of ‘better.’ Library of Theoria, no. 2. C. W. K. Gleerup, Lund, and Ejnar Munksgaard, Copenhagen, 1957, 112 pp. - Lennart Åqvist. Deontic logic based on a logic of ‘better.’Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23–26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki1963, pp. 285–290. - Mark Fisher. A three-valued calculus for deontic logic. Theoria (Lund), vol. 27 (1961), pp. 107–118. - Lennart Åqvist. Postulate sets and decision procedures for some systems of deontic logic. Theoria (Lund), vol. 29 (1963), pp. 154–175.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 278-281
-
- Article
- Export citation
Azriel Lévy. Comparing the axioms of local and universal choice. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem1961, and North-Holland Publishing Company, Amsterdam 1962, pp. 83–90.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 661-662
-
- Article
- Export citation
John Myhill. Recursive equivalence types and combinatorial functions. 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. 46–55.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 510-511
-
- Article
- Export citation
Theodore Hailperin. An incorrect theorem. The journal of symbolic logic, vol. 30 (1965), p. 27.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 128
-
- Article
- Export citation
Georg Kreisel. Some concepts concerning formal systems of number theory. Mathematische Zeitschrift, vol. 57 no. 1 (1952), pp. 1–12.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 128
-
- Article
- Export citation
G. Kreisel, J. Shoenfield, and Hao Wang. Number theoretic concepts and recursive well-orderings. Archiv für mathematische Logik und Grundlagenforschung, vol. 5 (1959), pp. 42–64.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 511-512
-
- Article
- Export citation
Richard Montague. Fraenkel's addition to the axioms of Zermelo. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem1961, and North-Holland Publishing Company, Amsterdam 1962, pp. 91–114.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 662
-
- Article
- Export citation
Ralph Monroe Eaton. Symbolism and truth. An introduction to the theory of knowledge. An unaltered reprint of 2902. Dover Publications, Inc., New York1964, xiv + 330 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 281-283
-
- Article
- Export citation