Contents
Reviews
Toshio Umezawa. Über die Zwischensysteme der Aussagenlogik. Nagoya mathematical journal. Bd. 9 (1955), S. 181–189.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 324-325
-
- Article
- Export citation
Bolesław Sobociński. Z badań nad aksjomatyką prototetyki Stanisława Leśniewskiego. Rocznik Polskiego Towarzystwa Naukowego na Obczyźnie (London), rok 1953–1954 (pub. 1954), pp. 18–20.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 325
-
- Article
- Export citation
Bolesław Sobociński. Studies in Leśniewski's mereology. Rocznik Polskiego Towarzystwa Naukowego na Obczyźnie (London), rok 1954–55 (pub. 1955), pp. 34–43. - Czesław Lejewski. A contribution to Leśniewski's mereology. Rocznik Polskiego Towarzystwa Naukowego na Obczyźnie (London), rok 1954–55 (pub. 1955), pp. 43–50.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 325-326
-
- Article
- Export citation
Naoto Yonemitsu. A decision method and a topological interpretation for systems of logical implication. Memoirs of the Osaka University of the Liberal Arts and Education, B. Natural science, no. 3 (1954), pp. 6–20.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 326-327
-
- Article
- Export citation
Naoto Yonemitsu. A note on systems of logical implication. Memoirs of the Osaka University of the Liberal Arts and Education, B. Natural science, no. 3 (1954), pp. 21–24.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 327
-
- Article
- Export citation
Alan Rose. The degree of completeness of the m-valued Łukasiewicz propositional calculus. The journal of the London Mathematical Society, vol. 27 (1952), pp. 92–102.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 327-328
-
- Article
- Export citation
Alan Rose. The degree of completeness of the ℵ0-valued Łukasiewicz propositional calculus. The journal of the London Mathematical Society, vol. 28 (1953), pp. 176–184.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 328
-
- Article
- Export citation
Naoto Yonemitsu. Note on completeness of m-valued propositional calculi. Mathematica Japonicae, vol. 3 (1954), pp. 57–61.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 328
-
- Article
- Export citation
Bolesław Sobociński. Note on a problem of Paul Bernays. The journal of symbolic logic, vol. 20 (1955), pp. 109–114.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 328
-
- Article
- Export citation
Raymond J. Nelson. Simplest normal truth functions. The journal of symbolic logic, vol. 20 (1955), pp. 105–108. - W. V. Quine. A way to simplify truth functions. The American mathematical monthly, vol. 62 (1955), pp. 627–631.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 328-330
-
- Article
- Export citation
Raymond J. Nelson. Weak simplest normal truth functions. The journal of symbolic logic, vol. 20 (1955) pp. 232–234.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 330-331
-
- Article
- Export citation
Howard H. Aiken, William Burkhart, Theodore Kalin, Peter F. Strong, and others (Staff of the Computation Laboratory of Harvard University). Sintéz eléktronnyh vyčislitél'nyh i upravláúščih shém. Russian translation of XVIII 347(2) by É. I. Mašonov, L. É. Sadovskij, and M. A. Hatagurov, edited by V. I. Šéstakov. Izdatél'stvo Inostrannoj Litératury, Moscow1954, 359 pp. - G. N. Povarov. Review of the preceding. Russian. Avtomatika i téléméhanika, vol. 15 (1954), pp. 567–569. - M. A. Gavrilov. Téoriá réléjno-kontaktnyh shém. Analiz i sintéz struktury réléjno-kontaktnyh shém. (Theory of relay-contact networks. Analysis and synthesis of the structure of relay-contact networks.). Akadémiá Nauk SSSR, Institut Avtomatiki i Téléméhaniki. Izdatél'stvo Akadémii Nauk SSSR, Moscow-Leningrad1950, 302 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 331
-
- Article
- Export citation
G. N. Povarov. O sintézé kontaktnyh mnogopolúsnikov. (On the synthesis of n-terminal relay-contact networks). Doklady Akadémii Nauk SSSR, vol. 94 (1954), pp. 1075–1078.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 331-332
-
- Article
- Export citation
G. N. Povarov. Matématičskaá téoriá sintéza kontaktnyh (1, k)-polúsnikov (Mathematical theory of the synthesis of (1, k)-terminal relay-contact networks). Doklady Akadémii Nauk SSSR, vol. 100 (1955), pp. 909–912.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 332
-
- Article
- Export citation
B. A. Trahténbrot. Sintéz bézpovtornyh shém (The synthesis of schemata without repetitions). Doklady Akadémii Nauk SSSR, vol. 103 (1955), pp. 973–976.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 332-333
-
- Article
- Export citation
V. I. Ivanov. Cikličéskié réléjnyé shémy i analitičéskhié sootnošéniá v nih (Cyclic relay networks and analytical relations in them). Doklady Akadémii Nauk SSSR, vol. 104 (1955), pp. 239–241.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 333
-
- Article
- Export citation
Henryk Greniewski, Krystyn Bochenek, and Romuald Marczyński. Application of bi-elemental Boolean algebra to electronic circuits. English, with summaries in Polish and Russian. Studia logica (Warsaw), vol. 2 (1955), pp. 7–76. See Errata, Studia logica (Warsaw), vol. 2 (1955), p. 329.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 333-334
-
- Article
- Export citation
Arthur W. Burks, Robert McNaughton, Carl H. Pollmar, Don W. Warren, and Jesse B. Wright. The folded tree. Journal of the Franklin Institute, vol. 260 (1955), pp. 9–24, 115–126.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 334
-
- Article
- Export citation
F. J. Murray. Mechanisms, and robots. Journal of the Association for Computing Machinery, vol. 2 (1955), pp. 61–82.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 334-335
-
- Article
- Export citation
J. A. Postley. A method for the evaluation of a system of Boolean algebraic equations. Mathematical tables and other aids to computation, vol. 9 (1955), pp. 5–8.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 335
-
- Article
- Export citation