Contents
Reviews
George Epstein. The lattice theory of Post algebras. Transactions of the American Mathematical Society, vol. 95 (1960), pp. 300–317.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 626
-
- Article
- Export citation
Ph. Dwinger. Notes on Post algebras. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 69 (1966), pp. 462–478; also Indagationes mathematicae, vol. 28 (1966), pp. 462–478.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 626
-
- Article
- Export citation
Joachim Lamber. The mathematics of sentence structure. American mathematical monthly, vol. 65 No. 3 (1958), pp. 154–170. - Joachim Lambek. Contributions to a mathematical analysis of the English verb-phrase. Journal of the Canadian Linguistic Association, vol. 5 (1959), pp. 83–89. - Joachim Lambek. On the calculus of syntactic types. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence 1961, pp. 166–178. - L. M. Court, J. Lambek, H. Hiż. Comments. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence 1961, pp. 264–265. - Joel M. Cohen. The equivalence of two concepts of categorial grammar. Information and control, vol. 10 (1967), pp. 475–484.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 627-628
-
- Article
- Export citation
C.Y. Lee. Categorizing automata by W-machine programs. Journal of the Association for Computing Machinery, Bd. 8 (1961), S. 384–399. - Seiiti Huzino und Mariko Yoneyama. On a proof of Schepherdson's theorem. Memoirs of the Faculty of Science, Kyushu University, Series A Mathematics, Bd. 16 (1962), S. 88–93.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 628
-
- Article
- Export citation
Seiiti Huzino. Simulatability of finite automata by Schepherdson and Sturgis' machines. Memoirs of the Faculty of Science, Kyushu University, Series A Mathematics, Bd. 20 (1966), S. 1–15. - Seiiti Huzino. On the simulation of real-time Turing machines by a modified Schepherdson-Sturgis' machine. Memoirs of the Faculty of Science, Kyushu University, Series A Mathematics, Bd. 20 (1966), S. 16–26.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 628-629
-
- Article
- Export citation
O. P. Kuznécov. Ob odnom klassé régulárnyh sobytij (On a class of regular events). Strukturnáa téoriá réléjnyh ustrojstv, Izdatél′stvo Akadémii Nauk, SSSR, Moscow, 1963, pp. 100–109.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 629
-
- Article
- Export citation
V. M. Gluškov. Nékotoryé problémy sintéza cifrovyh automatov (Some problems of synthesis of digital automata). Žurnal vycislitél′ noj matématiki i matématičéskoj fiziki, vol. 1 (1961), pp. 371–411. - V. M. GlušSkov. Ob odnom algoritmé sintéza abstraktnyh avtomatov (On algorithm of synthesis of abstract automata). Ukrainskij matématićéskij žurnal, vol. 12 (1960), pp. 147–156.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 629
-
- Article
- Export citation
Ú. I. Žuravlév, O različnyh ponátiáh minimal′ nosti dizúnktivnyh normal′nyh form (On various concepts, of minimality for disjunctive normal forms). Sibirskij matématičéskij žurnal vol. 1 (1960), pp. 609–610.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 630
-
- Article
- Export citation
U. I. Žuravlév. Algoritmy s konéčnoj pamáťú nad dizúnktivnymi normal′nymi formami (Algorithms with finite memory on disjunctive normal forms). Diskrétnyj analiz (Novosibirsk), no. 1 (1963), pp. 5–12.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 630
-
- Article
- Export citation
Ronald Prather. Computational aids for determining the minimal form of a truth function. Journal of the Association for Computing Machinery, vol. 7 (1960), pp. 299–310.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 630
-
- Article
- Export citation
Eugene L. Lawler. An approach to multilevel Boolean minimization. Journal of the Association for Computing Machinery, vol. 11 (1964), pp. 283–295.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 630-631
-
- Article
- Export citation
E. J. McCluskey. Introduction to the theory of switching circuits. McGraw-Hill Book Company, New York, St. Louis, San Francisco, Toronto, London, and Sydney, 1965, xv + 318 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 631
-
- Article
- Export citation
Robert R. Christian. Introduction to logic and sets. Second edition, Blaisdell Publishing Company, New York, Toronto, London, 1965, xii + 116 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 631
-
- Article
- Export citation
Lynn H. Loomis and Shlomo Sternberg. Advanced calculus. Addison-Wesley Publishing Company, Reading, Mass., Menlo Park, Calif., London, and Don Mills, Ontario, 1963, xi + 580 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 631-632
-
- Article
- Export citation
Setsuya Seki. Tyógen ronpó ni tuite (On transfinite arguments). Sûgaku, vol. 7 no. 1 (1955), p. 31.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 632
-
- Article
- Export citation
Bolesław Sobociński. A note on the generalized continuum hypothesis. Notre Dame Journal of formal logic, vol. 3 (1962), pp. 274–278, and vol. 4 (1963), pp. 67–79, 233–240.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 632
-
- Article
- Export citation
P. Bernays. Die hohen Unendlichkeiten und die Axiomatik der Mengenlehre. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, Państowowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 11–20.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 632
-
- Article
- Export citation
Other
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 632-635
-
- Article
- Export citation
Meeting Report
Annual meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 636-644
-
- Article
- Export citation
Other
Regional conferences in mathematics
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 644-645
-
- Article
- Export citation