Reviews
Roman Sikorski. Algebra of formalized languages. Colloquium mathematicum, vol. 9 (1962), pp. 1–31.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 508-509
-
- Article
- Export citation
B. van Rootselaar. Algebraische Kennzeichnung freier Wortarithmetiken. Compositio mathematica, vol. 15 (1963), pp. 156–168.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 509
-
- Article
- Export citation
W. W. Tait. Functionals defined by transfinite recursion. The journal of symbolic logic, vol. 30 (1965), pp. 155–174.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 509-510
-
- Article
- Export citation
John Myhill. Recursive equivalence types and combinatorial functions. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 46–55.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 510-511
-
- Article
- Export citation
G. Kreisel, J. Shoenfield, and Hao Wang. Number theoretic concepts and recursive well-orderings. Archiv für mathematische Logik und Grundlagenforschung, vol. 5 (1959), pp. 42–64.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 511-512
-
- Article
- Export citation
Shih-Chao Liu. A note on many-one reducibility. The journal of symbolic logic, vol. 28 no. 1 (for 1963, pub. 1964), pp. 35–42.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 512
-
- Article
- Export citation
Shih-Chao Liu. On many-one degrees. The journal of symbolic logic, vol. 28 no. 2 (for 1963, pub. 1964), pp. 143–153.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 512-513
-
- Article
- Export citation
Hartley RogersJr., The present theory of Turing machine computability. Journal of the Society for Industrial and Applied Mathematics, vol. 7 (1959), pp. 114–130.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 513
-
- Article
- Export citation
Hartley RogersJr., On universal functions. Proceedings of the American Mathematical Society, vol. 16 (1965), pp. 39–44.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 513
-
- Article
- Export citation
Z. A. Melzak. An informal arithmetical approach to computability and computation. Canadian mathematical bulletin (Bulletin canadien de mathématiques), vol. 4 (1961), pp. 279–293. - Joachim Lambek. How to program an infinite abacus. Canadian mathematical bulletin (Bulletin canadien de mathématiques), vol. 4 (1961), pp. 295–302.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 514
-
- Article
- Export citation
H. Gelernter. A note on syntactic symmetry and the manipulation of formal systems by machine. Information and control, vol. 2 (1959), pp. 80–89.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 514
-
- Article
- Export citation
J. A. Robinson. Theorem-proving on the computer. Journal of the Association for Computing Machinery, vol. 10 (1963), pp. 163–174.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 514-515
-
- Article
- Export citation
J. A. Robinson. A machine-oriented logic based on the resolution principle. Journal of the Association for Computing Machinery, vol. 12 (1965), pp. 23–41.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 515-516
-
- Article
- Export citation
John Alan Robinson. On automatic deduction. Rice University studies, vol. 50 no. 1 (1964), pp. 69–89.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 516
-
- Article
- Export citation
László Kalmár. A new principle of construction of logical machines. 2e Congrès International de Cybernétique, Namur, 3–10 Septembre 1958, Actes, Association Internationale de Cybernétique, Namur 1960, pp. 458–463.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 516
-
- Article
- Export citation
A. A. Lápunov. Matématičéskié isslédovaniá, svázannyé s ekspluataciéj eléktronnyh vyčislitél′nyh mašin (Mathematical investigations connected with the operation of electronic computing machines). Matematika v SSSR za sorok lét 1917–1957, vol. 1, Obzornyé stat′i, Gosudarstvénnoé Izdatél′stvo Fiziko-matématičéskoj Literatury, Moscow1959, pp. 857–877.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 516
-
- Article
- Export citation
Matématika v SSSR za sorok lét 1917–1957. Vol. 2. Biobibliografiá. (Mathematics in the USSR during the forty years 1917–1957. Vol. 2. Biobibliography.)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 516-517
-
- Article
- Export citation
Foreword. Bibliography of Polish mathematics 1944–1954, translated reprint from the Roczniki Polskiego Towarzystwa Matematycznego, seria II, Wiadomości matematyczne, published for the Department of Commerce and the National Science Foundation, Washington, D.C., on the order of Centralny Instytut Informacji Naukowo-technicznej i Ekonomicznej, by Państwowe Wydawnictwo Naukowe, Warsaw 1963 (available from the Office of Technical Services, U.S. Department of Commerce, Washington, D.C., for distribution in U.S.A. only), pp. 1–2. - A. Mostowski and J. Łoś. I. Foundations of mathematics, theory of sets and mathematical logic. Bibliography of Polish mathematics 1944–1954, translated reprint from the Roczniki Polskiego Towarzystwa Matematycznego, seria II, Wiadomości matematyczne, published for the Department of Commerce and the National Science Foundation, Washington, D.C., on the order of Centralny Instytut Informacji Naukowo-technicznej i Ekonomicznej, by Państwowe Wydawnictwo Naukowe, Warsaw 1963 (available from the Office of Technical Services, U.S. Department of Commerce, Washington, D.C., for distribution in U.S.A. only), pp. 4–17. - S. Drobot and S. Straszewicz. XI. History, teaching, popularization and organization of mathematics. Bibliography of Polish mathematics 1944–1954, translated reprint from the Roczniki Polskiego Towarzystwa Matematycznego, seria II, Wiadomości matematyczne, published for the Department of Commerce and the National Science Foundation, Washington, D.C., on the order of Centralny Instytut Informacji Naukowo-technicznej i Ekonomicznej, by Państwowe Wydawnictwo Naukowe, Warsaw 1963 (available from the Office of Technical Services, U.S. Department of Commerce, Washington, D.C., for distribution in U.S.A. only), pp. 120–133.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 517
-
- Article
- Export citation
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 517-523
-
- Article
- Export citation
Other
Notice of the Third International Congress for Logic, Methodology and Philosophy of Science
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 523-524
-
- Article
- Export citation