Contents
Reviews
A. N. Prior. Modality and quantification in S5. The journal of symbolic logic, vol. 21 (1956), pp. 60–62.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 91
-
- Article
- Export citation
A. V. Kuznécov and B. A. Trahténbrot. Isslédovanié častično-rékursivnyh opératorov srédstvami téorii berovskogo prostranstva (An investigation of partial recursive operators by means of the theory of the space of Baire). Doklady Akadémii Nauk SSSR, vol. 105 (1955), pp. 897–900.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 301-302
-
- Article
- Export citation
V. I. Šéstakov. Algébraičéskij métod sintéza mnogotaktnyh réléjnyh sistém (An algebraic method for the synthesis of switching circuits). Doklady Akadéimii Nauk SSSR, vol. 99 (1954), pp. 987–990.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 221
-
- Article
- Export citation
A. Białynicki-Birula and H. Rasiowa. On the representation of quasi-Boolean algebras. Bulletin de l'Académie Polonaise des Sciences, Classe III, Bd. 5 (1957), S. 259–261.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 370
-
- Article
- Export citation
Kurt Bing. On simplifying truth-functional formulas. The journal of symbolic logic, vol. 21 (1956), pp. 253–254.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 221
-
- Article
- Export citation
Hyman Kamel. Relational algebra and uniform spaces. The journal of the London Mathematical Society, vol. 29 (1954), pp. 342–344.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 370-371
-
- Article
- Export citation
G. H. von Wright. A note on deontic logic and derived obligation. Mind, n.s. vol. 65 (1956), pp. 507–509.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 91
-
- Article
- Export citation
J. Myhill and J. C. Shepherdson. Effective operations on partial recursive functions. Zeitschrift für mathematische Logik und Grundlagen der Mathetnatik, vol. 1 (1955), pp. 310–317.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 303
-
- Article
- Export citation
Gideon Schwarz. A note on transfinite iteration. The journal of symbolic logic, vol. 21 (1956), pp. 265–266.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 303
-
- Article
- Export citation
W. Mays. The first circuit for an electrical logic-machine. Science, vol. 118 (1953), pp. 281–282.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 221-222
-
- Article
- Export citation
David Meredith. A correction to von Wright's decision procedure for the deontic system P. Mind, n.s. vol. 65 (1956), pp. 548–550.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 92
-
- Article
- Export citation
Roland Fraïssé. Sur quelques classifications des systèmes de relations. French with English Summary. Publications scientifiques de l'Université d'Alger, Série A, Sciences mathématiques, vol. 1 no. 1 (for 1954, pub. 1955), pp. 35–182. - Roland Fraïssé. Sur quelques classifications des systèmes de relations. Thèses présentées à la Faculté des Sciences de l'Université de Paris. Imprimerie Durand, Chartres1955, 154 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 371-372
-
- Article
- Export citation
A. C. Lloyd. The logical form of law statements. Mind, n.s. vol. 64 (1955), pp 312–318.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 92
-
- Article
- Export citation
William W. Boone. Certain simple, unsolvable problems of group theory I–IV. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 57 (1954), pp. 231–237, 492–497, and vol. 58 (1955), pp. 252–256, 571–577; also Indagationes mathematicae, vol. 16 (1954), pp. 231–237, 492–497, and vol. 17 (1955), pp. 252–256, 571–577.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 372-373
-
- Article
- Export citation
Robert McNaughton. Logical and combinatorial problems in computer design. Computers and automation (Newtonville, Mass.), vol. 6 no. 1 (1957), pp. 30–31.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 222
-
- Article
- Export citation
John Myhill. Arithmetic with creative definitions by induction. The journal of symbolic logic, vol. 18 (1953), pp. 115–118.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 303-304
-
- Article
- Export citation
William W. Boone. Certain simple, unsolvable problems of group theory V–VI. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 60 (1957), pp. 22–27, 227–232; also Indagationes mathematicae, vol. 19 (1957), pp. 22–27, 227–232.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 373-374
-
- Article
- Export citation
G. Kreisel. A variant to Hilbert's theory of the foundations of arithmetic. The British journal for the philosophy of science, vol. 4 (1953–1954), pp. 107–129. See Errata and corrigenda, ibid., p 357.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 304-306
-
- Article
- Export citation
Other
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 222-224
-
- Article
- Export citation
Reviews
Ilmar Tammelo. Sketch for a symbolic juristic logic. Journal of legal education, vol. 8 (1956), pp. 277–306. See Errata, ibid., vol. 9 (1956), p. 148. - Romane L. Clark. On Mr. Tammelo's conception of juristic logic. Mind, vol. 8 (1956), pp. 491–496.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 92-93
-
- Article
- Export citation