Contents
Reviews
Jaakko Hintikka. An Aristotelian dilemma. Ajatus, vol. 22 (1959), pp. 87–92. - Nicholas Rescher. Aristotle's theory of modal syllogisms and its interpretation. The critical approach to science and philosophy, edited by Mario Bunge, The Free Press of Glencoe, Collier-Macmillan Limited, London1964, pp. 152–177. Reprinted in Essays in philosophical analysis, by Nicholas Rescher, University of Pittsburgh Press, Pittsburgh 1969, pp. 33–60. - Storrs McCall. Aristotle's modal syllogisms. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1963, VIII + 100 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 418-419
-
- Article
- Export citation
A. N. Prior. Some axiom-pairs for material and strict implication. Zeitsckrift für matkematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 61–65.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 184-185
-
- Article
- Export citation
Hu Shih-Hua. Recursive algorithms. Theory of recursive algorithms I. English translation of XXXVII 640(9). Scientia Sinica, vol. 9 (1960), pp. 843–875. Reprinted in Chinese mathematics, vol. 1 (1962), pp. 64–96. - Hu Shih-Hua and Loh Chung-Wan. Kernel functions. Theory of recursive algorithms II. English translation of XXXVII 640(10). Scientia Sinica, vol. 9 (1960), pp. 876–888. Reprinted ibid., pp. 97–109. - Hu Shih-Hua. Normal forms of recursive functions. Theory of recursive algorithms III. English translation of XXXVII 640(11). Scientia Sinica, vol. 9 (1960), pp. 889–896. Reprinted ibid., pp. 110–117.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 612
-
- Article
- Export citation
Andrzej Mostowski. Recent results in set theory. Problems in the philosophy of mathematics, Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, volume 1, edited by Imre Lakatos, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1967, pp. 82–96. - G. Kreisel, A. Robinson, L. Kalmár, and A. Mostowski. Discussion. Problems in the philosophy of mathematics, Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, volume 1, edited by Imre Lakatos, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1967, pp. 97–108. - Andrzej Mostowski. O niektórych nowych wynikach meta-matematycznych dotyczących teorii mnogości (On some new metamathematical results concerning set theory). Polish with Russian and English summaries. Studia logica, vol. 20 (1967), pp. 99–116.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 765-766
-
- Article
- Export citation
J. KnoxJr., Material implication and “if… then.”International logic review—Rassegna Internazionale di logica (Bologna), vol. 2 no. 3 (1971), pp. 90–92.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 185
-
- Article
- Export citation
Benson Mates. Elementary lope. Second edition of XXXI 483. Oxford University Press, New York1972, xii + 237 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 419-420
-
- Article
- Export citation
Solomon Feferman. Some applications of the notions of forcing and generic sets (Summary). 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. 89–95. - Solomon Feferman. Some applications of the notions of forcing and generic sets. Fundamenta mathematicae, vol. 56 no. 3 (1965), pp. 325–345.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 612-613
-
- Article
- Export citation
P. C. Gilmore. An alternative to set theory. The American mathematical monthly, vol. 67 (1960), pp. 621–632. - P. C. Gilmore. The monadic theory of types in the lower predicate calculus. 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. 309–312.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 766-767
-
- Article
- Export citation
David Crystal. Linguistics. Penguin Books Ltd., Harmondsworth, Middlesex, and Penguin Books, Inc., Baltimore, Maryland, 1971, 267 pp. - Frank Palmer. Grammar. Penguin Books Ltd., Harmondsworth, Middlesex, and Penguin Books, Inc., Baltimore, Maryland1971, 200 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 420
-
- Article
- Export citation
Ernst-Jochen Thiele. Ein axiomatisches System der Mengenlehre nach Zermelo und Fraenkel. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 (1955), pp. 173–195.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 767-768
-
- Article
- Export citation
Shih-Chiano Wang. Ming-t' i yen-suan ti i hsi kung-li (An axiom system for the proposition calculus). Acta mathematica Sinica, vol. 2 no. 4 (1953), pp. 267–274.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 185
-
- Article
- Export citation
A. H. Kruse. Grothendieck universes and the super-complete models of Shepherdson. Composite mathematica, vol. 17 (1965), pp. 96–101.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 613
-
- Article
- Export citation
V. A. Jankov. Constructing a sequence of strongly independent superintuitionistic propositional calculi. English translation of XXXVII 206(6) by A. Yablonsky. Soviet mathematics, vol. 9 no. 4 (1968), pp. 806–807. - V. A. Jankov. The calculus of the weak “law of excluded middle.” English translation of XXXVII 206(7). Mathematics of the USSR—Izvestija (Providence), vol. 2 no. 5 (for 1968 pub. 1969), pp. 997–1004.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 186
-
- Article
- Export citation
Willard Van Orman Quine. Set theory and its logic. The Belknap Press of Harvard University Press, Cambridge, Mass., 1963, xv + 359 pp.; also revised edition, ibid., 1969, xvii + 361 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 768-769
-
- Article
- Export citation
Nuel D. BelnapJr., An analysis of questions: Preliminary report. Technical Memorandum 1287, System Development Corporation, Santa Monica1963, 160 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 420-421
-
- Article
- Export citation
Johann Sonner. On the formal definition of categories. Mathematische Zeitschrift, vol. 80 no. 2 (1962), pp. 163–176.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 613-614
-
- Article
- Export citation
Charles Parsons. A note on Quine's treatment of transfinite recursion. The journal of symbolic logic, vol. 29 no. 4 (for 1964, pub. 1965), pp. 179–182.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 769
-
- Article
- Export citation
A. N. Prior. The autonomy of ethics. The Australasian journal of philosophy, vol. 38 no. 3 (1960), pp. 199–206. - J. M. Shorter. Professor Prior on the autonomy of ethics. The Australasian journal of philosophy, vol. 39 no. 3 (1961), pp. 286–287.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 421-422
-
- Article
- Export citation
B. Rotman and G. T. Kneebone. The theory ofsets and transfinite numbers. Oldbourne mathematical series, Oldbourne, London, and Daniel Davey & Co., Inc., New York, 1966, x + 144 pp.; also American Elsevier Publishing Company, Inc., New York 1968, x + 144 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 614
-
- Article
- Export citation
V. A. Jankov. Conjunctively indecomposable formulas in propositional calculi. English translation of XXXVII 206(8). Soviet mathematics, vol. 3 no. 1 (for 1969, pub. 1970), pp. 17–35.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 186
-
- Article
- Export citation