Contents
Reviews
Paul Turán. On the work of Alan Baker. Actes du Congrès International des Mathématiciens 1970, Gauthier-Villars, Paris1971, Vol. 1, pp. 3–5. - Alan Baker. Effective methods in the theory of numbers. Actes du Congrès International des Mathématiciens 1970, Gauthier-Villars, Paris1971, Vol. 1, pp. 19–26.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 606
-
- Article
- Export citation
A. J. Baker. Presupposition and types of clause. Mind, n.s. vol. 65 (1956), pp. 368–378.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 179
-
- Article
- Export citation
Peter G. Hinman. Hierarchies of effective descriptive set theory. Transactions of the American Mathematical Society, vol. 142 (1969), pp. 111–140.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 758-759
-
- Article
- Export citation
Seymour Ginsburg. Some remarks on abstract machines. Transactions of the American Mathematical Society, vol. 96 (1960), pp. 400–444. - Seymour Ginsburg and Gene F. Rose. A comparison of the work done by generalized sequential machines and Turing machines. Transactions of the American Mathematical Society, vol. 103 (1962), pp. 394–402.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 411
-
- Article
- Export citation
Paul W. Abrahams. Machine verification of mathematical proof. Mathematical algorithms, vol. 1 no. 2 (1966), pp. 11–32; vol. 1 no. 3 (1966), pp. 19–38; vol. 2 (1967), pp. 28–79; vol. 3 (1968), pp. 28–155.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 411-412
-
- Article
- Export citation
Yu. V. Matijasevič. Diophantine representation of recursively enumerable predicates. Actes du Congrès International des Mathématiciens 1970, Gauthier-Villars, Paris1971, Vol. 1, pp. 235–238.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 606-607
-
- Article
- Export citation
J. Hartmanis. Context-free languages and Turing machine computations. Mathematical aspects of computer science, Proceedings of symposia in applied mathematics, vol. 19, American Mathematical Society, Providence1967, pp. 42–51.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 759
-
- Article
- Export citation
R. M. Martin. On the Frege-Church theory of meaning. Philosophy and phenomenological research, vol. 23 no. 4 (1963), pp. 605–609.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 179
-
- Article
- Export citation
Ú. V. Matiásévič. Diofantovo prédstavlénié množéstva prostyh čisél. Doklady Akadémii Nauk SSSR, vol. 196 (1971), pp. 770–773. - Ju. V. Matijasevič. Diophantine representation of the set of prime numbers. English translation of the preceding by R. N. Gross, with an Addendum. Soviet mathematics, vol. 12 no. 1 (1971), pp. 249–254.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 607
-
- Article
- Export citation
Michael A. Arbib. Theories of abstract automata. Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1969, xiii + 412 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 412-413
-
- Article
- Export citation
C. Boucher. Leçons sur la théorie des automates mathématiques. Lecture notes in operations research and mathematical systems, no. 46, Springer-Verlag, Berlin, Heidelberg, and New York, 1971, VIII + 193 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 759-760
-
- Article
- Export citation
Kazimierz Ajdukiewicz. A method of eliminating intensional sentences and sentential formulae. Atti del XII Congresso Internazionale di Filosofia (Venezia, 12–18 Settembre 1958), Volume quinto, Lògica, gnoseologia, filosofia della scienza, filosofia del linguaggio, Sansoni Editore, Florence1960, pp. 17–24.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 179-180
-
- Article
- Export citation
M. K. Valiév. Ob odnoj téorémé G. Higmana. Russian original of XXXVII 640(5). Algébra i logika, vol. 7 no. 3 (1968), pp. 9–22. - M. K. Valiév. O složnosti problémy toždéstvá dlá konéčno oprédélénnyh grupp. Russian original of XXXVII 640(6). Algébra i logika, vol. 8 no. 1 (1969), pp. 5–43. - V. A. Trahténbrot. O složnosti algoritmov svédéniá v konstrukciáh Novikova-Buna. Russian original of XXXVII 640. Algébra i logika, pp. 93–128.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 607-609
-
- Article
- Export citation
Robert McNaughton. The theory of automata, a survey. Advances in computers, Volume 2, edited by Franz L. Alt, Academic Press, New York and London1961, pp. 379–421.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 760
-
- Article
- Export citation
Peter H. Starke. Abstrakte Automaten. VEB Deutscher Verlag der Wissenschaften, Berlin1969, 392 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 413-414
-
- Article
- Export citation
J. Myhill. Problems arising in the formalization of intensional logic. Logique et analyse, n.s. vol. 1 (1958), pp. 74–83.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 180
-
- Article
- Export citation
H. Allen Curtis. A functional canonical form. Journal of the Association for Computing Machinery, vol. 6 (1959), pp. 245–258. - H. Allen Curtis. Multifunctional circuits in functional canonical form. Journal of the Association for Computing Machinery, vol. 6 (1959), pp. 538–547. - H. Allen Curtis. A new approach to the design of switching circuits. D. Van Nostrand Company, Inc., Princeton-Toronto-London-New York, 1962, viii + 635 pp. - R. L. Ashenhurst. The decomposition of switching functions. Therein, pp. 571–602. - Theodore Singer. The decomposition chart as a theoretical aid. Therein, pp. 602–620.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 760-762
-
- Article
- Export citation
L. A. Bokut'. Stépèni nérazréšimosti problémy soprážennosti dlá konéčnooprédélénnyh grupp. Russian original of XXXVII 640. Algébra i logika, vol. 7 no. 5 (1968), pp.4–70, and no. 6 (1968), pp. 4–52.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 609-610
-
- Article
- Export citation
E. J. Lemmon. A theory of attributes based on modal logic. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23–26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki1963, pp. 95–122. - Ruth Barcan Marcus. Classes and attributes in extended modal systems. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23–26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki1963, pp. 123–136.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 180-181
-
- Article
- Export citation
Gr. C. Moisil. Contributii la teoria algebricǎ a mecanismelor automate (Contribution à l'étude algébrique des mécanismes automatiques). Roumanian with Russian and French summaries. Buletin ştiintific, Secţiunea de ştiinte matematice şi fizice, vol. 7 (1955), pp. 183–230. - Gr. C. Moisil and Gh. Ioanin. Asupra funcţionǎrii schemelor cu butoni reali (Sur le fonctionnement des schémas à boutons réels). Roumanian with Russian and French summaries. Buletin ştiintific, Secţiunea de ştiinte matematice şi fizice, vol. 7 (1955), pp. 33–49. - Gr. C. Moisil. Teoria algebricǎ a funcţionǎrii schemelor cu contacte de relee in mai mulţi timpi (Théorie algébrique du fonctionnement des schémas à relais à contacts échelonnés). Roumanian with Russian and French summaries. Studii şi cercetǎri matematice, vol. 6 (1955), pp. 7–53.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 414-416
-
- Article
- Export citation