Contents
Reviews
D. A. Huffman. The synthesis of sequential switching circuits. Journal of the Franklin Institute, vol. 257 (1954), pp. 161–190, 275–303.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 69-70
-
- Article
- Export citation
David Slepian. On the number of symmetry types of Boolean functions of n variables. Canadian journal of mathematics, vol 5 (1953), pp. 135–193. Reprinted in the Bell Telephone System technical publications, monograph 2154.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 70
-
- Article
- Export citation
Arthur W. Burks, Don W. Warren, and Jesse B. Wrights. An analysis of a logical machine using parenthesis-free notation. Mathematical tables and other aids to computation, vol. 8 (1954), pp. 53–57.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 70-71
-
- Article
- Export citation
Andrzej Grzegorczyk. Some classes of recursive functions. Rozprawy matematyczne no. 4. Instytut Matematyczny Polskiej Akademii Nauk, Warschau1953, 46 S.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 71-72
-
- Article
- Export citation
László Kalmár. Az eldöntesprobléma visszavezetése logikai formulák véges halmazon való kielégithetőségének kérdésére (Reduction of the decision problem to the satisfiability question of logical formulae on a finite set). Ungarisch mit russischem Auszug und englischem Auszug. Az Első Magyar Matematikai Kongresszus közleményei 1950. augusztus 27. - szeptember 2. — Comptes rendus du Premier Congrès des Mathématiciens Hongrois 27 août - 2 septembre 1950, publié avec le soutien de l'Académie des Sciences de Hongrie par la Société Mathématique János Bolyai, Budapest1952, S. 163–190.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 72
-
- Article
- Export citation
A. A. Markov. Téoriá algorifmov (Az algoritmusok elmélete). Russian, with brief abstract in Hungarian. Az Első Magyar Matematikai Kongresszus közleményei 1950. augusztus 27. - szeptember 2. — Comptes rendus du Premier Congrès des Mathématiciens Hongrois 27 août - 2 septembre 1950, publié avec le soutien de l'Académie des Sciences de Hongrie par la Société Mathématique János Bolyai, Budapest1952, pp. 191–203.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 73
-
- Article
- Export citation
Rózsa Péter. Transzfinit rekurziók (a matematika alapjai és a rekurzív függvények) (Transfinite Rekursionen (Grundlagenforschung und rekursive Funktionen)). Hungarian, with brief abstract in Russian and fuller abstract in German. Az Első Magyar Matematikai Kongresszus közleményei 1950. augusztus 27. - szeptember 2. — Comptes rendus du Premier Congrès des Mathématiciens Hongrois 27 août - 2 septembre 1950, publié avec le soutien de l'Académie des Sciences de Hongrie par la Société Mathématique János Bolyai, Budapest1952, pp. 419–428.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 73
-
- Article
- Export citation
Ú. V. Linnik and N. A. Šanin. Andréj Andréévič Markov. (K pátidésátilétiú so dná roždéniá.)Uspéhi matématičéskih nauk, vol. 9 no. 1 (1954), pp. 145–149 (with portrait opp. p. 145).
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 73
-
- Article
- Export citation
J. C. E. Dekker. Two notes on recursively enumerable sets. Proceedings of the American Mathematical Society, vol. 4 (1953), pp. 495–501.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 73-74
-
- Article
- Export citation
A. M. Turing. Solvable and unsolvable problems. Science news (Penguin books, Melbourne–London–Baltimore), no. 31 (1954), pp. 7–23.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 74
-
- Article
- Export citation
Trevor Evans. An embedding theorem for semigroups with cancellation. American journal of mathematics, vol. 76 (1954), pp. 399–413.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 74-75
-
- Article
- Export citation
Heinrich Behmann. Zu den Parallelreihentransformationen in Schröders “Algebra und Logik der Relative”.Archiv für mathematische Logik und Grundlagenforschung, vol. 1 no. 2 (1951), pp. 52–62; also Archiv für Philosophie, vol. 4 no. 2 (1951), pp. 212–222.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 75
-
- Article
- Export citation
K. Jaakko J. Hintikka. Distributive normal forms in the calculus of predicates. Acta philosophica fennica, no. 6. Helsinki1953, 71 pp. With separate sheet of Corrections.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 75-76
-
- Article
- Export citation
Hao Wang. Arithmetic models for formal systems. Methodos, vol. 3 (1951), pp. 217–232.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 76-77
-
- Article
- Export citation
H. Rasiowa. A proof of the compactness theorem for arithmetical classes. Fundamenta mathematicae, vol. 39 (for 1952, pub. 1953), pp. 8–14.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 78
-
- Article
- Export citation
H. Rasiowa and R. Sikorski. Algebraic treatment of the notion of satisfiability. Fundamenta mathematicae, vol. 40 (1953), pp. 62–95.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 78-80
-
- Article
- Export citation
H. Rasiowa and R. Sikorski. On existential theorems in non-classical junctional calculi. Fundamenta mathematicae, vol. 41 no. 1 (1954), pp. 21–28.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 80
-
- Article
- Export citation
W. Peremans. Metamathematische beschouwingen over de algebra (Metamathematical consideration of algebra). Mimeographed. Mathematisch Centrum, Amsterdam, Rapport ZW1951, 026, 8 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 80
-
- Article
- Export citation
John Myhill. The hypothesis that all classes are nameable. Proceedings of the National Academy of Sciences of the United States of America, vol. 38 (1952), pp. 979–981.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 80
-
- Article
- Export citation
Miloš Neubauer. Sur quelques simplifications de la théorie axiomatique d'ensembles de von Neumann (O nékterých zjednodušeních von Neumannovy axiomatické theorie množin). French with brief Czechic résumé. Časopis pro pěstování matematiky a fysiky, vol. 74 (1950), pp. 142–144.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 81
-
- Article
- Export citation