Reviews
Zen Murata. Syûgô to sono kanketusei—Syûgô gainen to zikangainen to no kôsyô— (Sets and their completedness—Relation of the concepts, set and time—). Kisokagaku, no. 30 (121952), pp. 14–20 (p. 972–978).
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 95
-
- Article
- Export citation
Kiyoshi Itô. Sûgaku no kiso to siteno syûgôron (Set theory as foundation of mathematics). Kagaku kiso ron kenkyû (Tokyo), vol. 1 no. 1 (1954), pp. 8–12.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 95
-
- Article
- Export citation
Kinjiro Kunugui. Skolem-Löwenheim no teiri ni tuite (On the theorem of Skolem-Löwenheim). Kisokagaku, no. 30 (121952), pp. 35–39. - Arnaud Denjoy. L'énumération transfinie. Livre IV. Notes sur les sujets controversés. Gauthier-Villars, Paris1954, title pages + pp. 773–971.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 95-96
-
- Article
- Export citation
Franz von Krbek. Wohlordnung. Acta mathematica, vol. 93 (1955), pp. 313–316.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 96-97
-
- Article
- Export citation
Th. Skolem. A remark on a set theory based on positive logic. Det Kongelige Norske Videnskabers Selskab, Forhandlinger, vol. 25 (1952), pp. 112–116.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 97-98
-
- 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
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
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
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
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
Ú. 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
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
S. V. Áblonskij. Réalizaciá linéjnoj funkcii v klassé Π-shém (Realization of a linear function in the class of Π-circuits). Doklady Akadémii Nauk SSSR, vol. 94 (1954) pp. 805–806.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 102
-
- Article
- Export citation
R. Duncan Luce. A note on Boolean matrix theory. Proceedings of the American Mathematical Society, vol. 3 (1952), pp. 382–388.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 102-103
-
- Article
- Export citation
B. I. Aranovič. Ispol'zovanié matričnyh métodov v voprosah strukturnogo analiza réléjno-kontaktnyh shém (The use of matrix methods in problems of the structural analysis of relay-contact networks). Avtomatika i téléméhanika, vol. 10 (1949), pp. 437–451.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 103-104
-
- Article
- Export citation
A. G. Lunc. Priložénié matričnoj buléskoj algébry k analizu i sintézu réléjno-kontaktnyh shém (The application of Boolean matrix algebra to the analysis and synthesis of relay-contact networks). Doklady Akadémii Nauk SSSR, vol. 70 (1950), pp. 421–423.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 104
-
- Article
- Export citation
Franz E. Hohn and L. Robert Schissler. Boolean matrices and the design of combinational relay switching circuits. The Bell System technical journal, vol. 34 (1955), pp. 177–202.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 104-105
-
- Article
- Export citation
Miguel Sánchez-Mazas. Sobre la esencia de lo formal. Theoria (Madrid), vol. 1 no. 1 (1952), pp. 16–17.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 105
-
- Article
- Export citation
Miguel Sánchez-Mazas. Notas preliminares para la fundamentación de una Lógica matemática comprehensiva (I). Theoria (Madrid), vol. 1 no. 1 (1952), pp. 25–26.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 105
-
- Article
- Export citation
Antonio Millan Puelles. Sobre el concepto de existencia en matemáticas. Theoria (Madrid), vol. 1 no. 2 (1952), p. 59. - Miguel Sánchez-Mazas. Los juicios de la Matemática y el modo de existencia de sus objetos. Theoria (Madrid), vol. 1 no. 2 (1952), pp. 60–70.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 105
-
- Article
- Export citation