Contents
Reviews
Shôtarô Tanaka. On axioms of ontology. Proceedings of the Japan Academy, vol. 44 (1968), pp. 54–55. - Shôtarô Tanaka. On theorems of ontology. Proceedings of the Japan Academy, vol. 44 (1968), pp. 231–233.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 192
-
- Article
- Export citation
A. J. Perlis and K. Samelson. Appendix two: Preliminary report of ACM-GAMM Committee on an International Algebraic Language. Annual review in automatic programming, Volume I, Papers read at the Working Conference on Automatic Programming of Digital Computers held at Brighton, 1–3 April 1959, edited by Richard Goodman, Pergamon Press, New York-Oxford-London-Paris1960, pp. 268–290. (Reprinted from Communications of the Association for Computing Machinery, vol. 1 no. 12 (1958), pp. 8–22.)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 620-622
-
- Article
- Export citation
Akiko Kino. On ordinal diagrams. Journal of the Mathematical Society of Japan, vol. 13 (1961), pp. 346–356.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 192
-
- Article
- Export citation
J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. McCarthy, P. Naur (editor), A. J. Perlis, H. Rutishauser, K. Samelson, B. Vauquois, J. H. Wegstein, A. van Wijngaarden, and M. Woodger. Report on the algorithmic language ALGOL 60. Numerische Mathematik, vol. 2 (1960), pp. 106–136; also Communications of the Association for Computing Machinery, vol. 3 (1960), pp. 299–314.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 622-623
-
- Article
- Export citation
J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. McCarthy, P. Naur, A. J. Perlis, H. Rutishauser, K. Samelson, B. Vauquois, J. H. Wegstein, A. van Wijngaarden, and M. Woodger. Revised report on the algorithmic language ALGOL 60. Numerische Mathematik, vol. 4 (1962–1963), pp. 420–453; also ibid., vol. 6 (1963), pp. 1–17; and The computer journal, vol. 5 no. 4 (1963), pp. 349–367.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 623-624
-
- Article
- Export citation
Gaisi Takeuti. A formalization of the theory of ordinal numbers. Proceedings of the Symposium on the Foundations of Mathematics, held at Katada, Japan, 1962, Sponsored jointly by The Division of the Foundations of Mathematics of the Mathematical Society of Japan, The Sugaku Shinkokai, and The Toyo Spinning Company, Tokyo1963, pp. 65–97. - Gaisi Takeuti. A formalization of the theory of ordinal numbers. The journal of symbolic logic, vol. 30 (1965), pp. 295–317.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 192-193
-
- Article
- Export citation
J. Hartmanis, P. M. LewisII, and R. E. Stearns. Classifications of computations by time and memory requirements. Information processing 1965, Proceedings of IFIP Congress 65, organized by the International Federation for Information Processing, New York City, May 24–29,1965, Volume 1, edited by Wayne A. Kalenich, Spartan Books, Inc., Washington, D.C., and Macmillan and Co., Ltd., London, 1965, pp. 31–35.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 624
-
- Article
- Export citation
B. Scarpellini. A characterization of Δ2-sets. Transactions of the American Mathematical Society, vol. 117 (1965), pp. 441–450.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 193
-
- Article
- Export citation
R. E. Stearns, J. Hartmanis, and P. M. LewisII. Hierarchies of memory limited computations. Sixth Annual Symposium on Switching Circuit Theory and Logical Design, University of Michigan, Ann Arbor, Mich., The Institute of Electrical and Electronics Engineers, Inc., New York 1965, pp. 179–190.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 624-625
-
- Article
- Export citation
S. R. Kogalovskij. K sémantiké téorii tipov (On the semantics of the theory of types). Izvéstiá vysših učébnyh zavédénij, Matématika, no. 1 (1966), pp. 89–98.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 193-194
-
- Article
- Export citation
P. M. LewisII, R. E. Stearns, and J. Hartmanis. Memory bounds for recognition of context-free and context-sensitive languages. Sixth Annual Symposium on Switching Circuit Theory and Logical Design, University of Michigan, Ann Arbor, Mich., The Institute of Electrical and Electronics Engineers, Inc., New York 1965, pp. 191–202. See Errata, ibid., p. 190.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 625
-
- Article
- Export citation
Karl Schröter. Die Unabhängigkeit der elementaren prädikatenlogischen Schlussregeln. Zeitschrift für mthematische Logik und Grundlagen der mathematik, vol. 2 (1956), pp. 218–227.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 194
-
- Article
- Export citation
A. Dumitriu. The antinomy of the theory of types. International logic review—Rassegna internazionale di logica (Bologna), vol. 2 no. 3 (1971), pp. 51–54.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 194
-
- Article
- Export citation
Marc A. Aiserman, Leonid A. Gusev, Lev I. Rozonoer, Irina M. Smirnova, and Aleksey A. Tal. Logic, automata, and algorithms. Revised English translation of XXXI 109 by Scripta Technica, Inc., George M. Kranc, translation editor. Academic Press, New York and London1971, xii + 433 pp. - Mark Aronowitsch Aiserman, L. A. Gussew, L. I. Rosonoer, I. M. Smirnova, and A. A. Tal. Logik—Automaten—Algorithmen. Revised German translation of the same by Rudolf Herschel. R. Oldenbourg Verlag, Munich and Vienna1967, X + 431 pp. - M. A. Ajzerman, L. A. Gusev, L. I. Rozonoer, I. M. Smirnova, and A. A. Tal. Logika, automaty a algoritmy. Czech translation of the same by Jaroslav Volčik, Miroslav Mleziva, and Antonín Mykiska. Československá Akademie Věd, Prague1971, 407 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 625
-
- Article
- Export citation
Octavian C. Bâscâ. La synthèse des automates finis par la méthode de A. Church. Logique, automatique, informatique, edited by Gr. C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, pp. 209–213.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 625-626
-
- Article
- Export citation
Gerold Stahl. A paratheory of type theory. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 169–171.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 194-195
-
- Article
- Export citation
Gr. C. Moisil. Les états transitoires dans les circuits séquentiels. Logique, automatique, informatique, edited by Gr. C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, pp. 215–268.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 626
-
- Article
- Export citation
Gerold Stahl. Remarks on the incompleteness proof. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 164–170.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 195
-
- Article
- Export citation
A. R. Meo. A theorem for synthetizing combinational networks. Alta frequenza (Rome), vol. 36 (1967), pp. 146–149.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 626
-
- Article
- Export citation
Vladeta Vučković. Mathematics of incompleteness and undecidability. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 123–150.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 195-196
-
- Article
- Export citation