Contents
Reviews
Nicolas Rescher. The logic of commands. Routledge & Kegan Paul, Ltd., London, and Dover Publications, Inc., New York, 1966, xii + 147 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 499-500
-
- Article
- Export citation
Nicholas Rescher. Recent developments and trends in logic. Logique et analyse, n.s. vol. 9 (1966), pp. 269–279. - Yehoshua Bar-Hillel. A neglected recent trend in logic. Logique et analyse, n.s. vol. 10 (1967), pp. 235–238.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 500
-
- Article
- Export citation
Ruth Barcan Marcus. Iterated deontic modalities. Mind, n.s. vol. 75 (1966), pp. 580–582.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 500
-
- Article
- Export citation
William T. Fontaine. Avoidability and the contrary-to-fact conditional in C. L. Stevenson and C. I. Lewis. The journal of philosophy, vol. 48 (1951), pp. 783–788.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 500
-
- Article
- Export citation
Saul A. Kripke. Semantical considerations for modal logics. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23-26 August, 1962, Acta Philosophica Fennica1963, pp. 83–94.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 501
-
- Article
- Export citation
Robert Feys. Modal logics. Edited with some complements by Joseph Dopp. Collection de logique mathématique, Série B no. 4. E. Nauwelaerts, Louvain, and Gauthier-Villars, Paris, 1965, XIV + 219 pp. - J. Dopp. Editor's foreword. Therein, pp. V–VIII.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 501-502
-
- Article
- Export citation
J. Dopp. Logiques construites par une méthode de déduction naturelle. Collection de logique mathématique, Série B, no. 3, E. Nauwelaerts, Louvain, and Gauthier-Villars, Paris, 1962, 191 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 502
-
- Article
- Export citation
Katuzi Ono. A certain kind of formal theories. Nagoya mathematical journal, vol. 25 (1965), pp. 59–86.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 503
-
- Article
- Export citation
Katuzi Ono. On universal character of the primitive logic. Nagoya mathematical journal, vol. 27 (1966), pp. 331–353.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 503-504
-
- Article
- Export citation
Katuzi Ono. A formalism for primitive logic and mechanical proof-checking.Nagoya mathematical journal, vol. 26 (1966), pp. 195–203.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 504
-
- Article
- Export citation
Katuzi Ono. A pursuit of simple basic systems. Annals of the Japan Association for Philosophy of Science, vol. 3 no. 1 (1966), pp. 6–11.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 504
-
- Article
- Export citation
Satoshi Miura. A remark on the intersection of two logics. Nagoya mathematical journal, vol. 26 (1966), pp. 167–171.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 504-505
-
- Article
- Export citation
Tsutomu Hosoi. On the separation theorem of intermediate propositional calculi. Proceedings of the Japan Academy of Sciences, vol. 42 (1966), pp. 535–538. - Tsutomu Hosoi. The separable axiomatization of the intermediate propositional systems Sn of Gödei. Proceedings of the Japan Academy of Sciences, vol. 42 (1966), pp. 1001–1006.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 505
-
- Article
- Export citation
M. D. Gladstone. Some ways of constructing a propositional calculus of any required degree of unsolvability. Transactions of the American Mathematical Society, vol. 118 (1965), pp. 192–210.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 505-506
-
- Article
- Export citation
Gilbert Baumslag, W. W. Boone, and B. H. Neumann. Some unsolvable problems about elements and subgroups of groups. Mathematica Scandinavica, vol. 7 (1959), pp. 191–201.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 506
-
- Article
- Export citation
William W. Boone and Hartley Rogers Jr. On a problem of J. H. C. Whitehead and a problem of Alonzo Church. Mathematica Scandinavica, vol. 19 (1966), pp. 185–192.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 506-507
-
- Article
- Export citation
Trevor Evans. The word problem for abstract algebras. The journal of the London Mathematical Society, vol. 26 (1951), pp. 64–71. - Trevor Evans. Embeddability and the word problem. The journal of the London Mathematical Society, vol. 28 (1953), pp. 76–80.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 507
-
- Article
- Export citation
A. A. Fridman. O vzaimootnošénii méždu problémoj toždéstoa i problémoj soprážénnosti v konéínooprédélénnyh gruppah (On the relation between the word problem and the conjugacy problem in finitely defined groups). Trudy Moskovskogo Matématičéskogo Obščéstva, vol. 9 (1960), pp. 329–356.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 507-508
-
- Article
- Export citation
Michael O. Rabin and Hao Wang. Words in the history of a Turing machine with a fixed input. Journal of the Association for Computing Machinery, vol. 10 (1963), pp. 526–527.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 508
-
- Article
- Export citation
Philip K. Hooper. Monogenic Post normal systems of arbitrary degree. Journal of the Association for Computing Machinery, vol. 13 (1966), pp. 359–363.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 508-509
-
- Article
- Export citation