Contents
Reviews
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
Th. Skolem. Some considerations concerning recursive functions. Mathematica Scandinavica, vol. 1 (1953), pp. 213–221.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 98-99
-
- Article
- Export citation
Erik Götlind. Vacuous variants and truth by convention. Theoria (Lund), vol. 21 no. 1 (1955), pp. 1–24.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 395
-
- Article
- Export citation
I. M. Bocheński. Philosophie et sciences. Studia philosophica (Basel), vol. 13 (1953), pp. 11–18.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 395-396
-
- 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
J. C. E. Dekker. Productive sets. Transactions of the American Mathematical Society, vol. 78 (1955), pp. 129–149.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 99-100
-
- 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
J. C. E. Dekker. A theorem on hypersimple sets. Proceedings of the American Mathematical Society, vol. 5 (1954), pp. 791–796.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 100
-
- Article
- Export citation
Hans Reichenbach. The rise of scientific philosophy. University of California Press, Berkeley and Los Angeles1956, xi + 333 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 396
-
- Article
- Export citation
John R. Gregg. The language of taxonomy. An application of symbolic logic to the study of classificatory systems. Columbia University Press, New York1954, ix + 70 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 396-397
-
- Article
- Export citation
A. Janiczak. On the reducibility of decision problems. Nach dem Tode des Verf., von A. Grzegorczyk herausgegeben. Colloquium mathematicum, Bd. 3 Heft 1 (1954), S. 33–36.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 100-101
-
- 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
A. Janiczak. Some remarks on partially recursive functions. Nach dem Tode des Verf., von A. Grzegorczyk herausgegeben. Ebd., S. 37–38.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 101
-
- Article
- Export citation
Eugene H. Galanter. An axiomatic and experimental study of sensory order and measure. Psychological review, vol. 63 (1956), pp. 16–28.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 397
-
- Article
- Export citation
Ú. T. Médvédév. O néizornorfnyh rékursivno-péréčislimyh množéstvah (On non-isomorphic recursively enumerable sets). Doklady Akadémii Nauk SSSR, vol. 102 (1955), pp. 211–214.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 101-102
-
- Article
- Export citation
Jacques Riguet. Sur l'extension du calcul des relations binaires au calcul des matrices à éléments dans une algèbre de Boole complète. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), t. 238 (1954), p. 2382–2385.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 397-398
-
- 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
G. N. Povarov. O funkcional'noj razdélimosti bulévyh funkcij (On functional decomposability of Boolean functions). Doklady Akadémii Nauk SSSR, vol. 94 (1954), pp. 801–803.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 102
-
- 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