Contents
Reviews
Sheila A. Greibach. A note on pushdown store automata and regular systems. Proceedings of the American Mathematical Society, vol. 18 (1967), pp. 263–268.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 302-303
-
- Article
- Export citation
John Myhill. Ω — Λ. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 97–104.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 619-620
-
- Article
- Export citation
Ph. Dwinger and F. M. Yaqub. Generalized free products of Boolean algebras with an amalgamated subalgebra. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 66 (1963), pp. 225–231; also lndagationes mathematicae, vol. 25 (1963), pp. 225–231.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 124
-
- Article
- Export citation
Front matter
JSL volume 33 issue 3 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f6
-
- Article
-
- You have access
- Export citation
Reviews
A. L. Čérnávskij. Modélirovanié procéssa réšéniá složnyh logičéskih zadač na vyčislitél′nyh mašinah (evrističéstoé programmirovanié). Russian with English summary. Avtomatika i téléméhanika, no. 1 (1967), pp. 166–187. - A. L. Chernyavskii. Computer simulation of the process of solving complex logical problems (heuristic programming). English translation of the preceding. Automation and remote control, no. 1 (1967), pp. 145–167.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 303
-
- Article
- Export citation
F. M. Yaqub. Free extensions of Boolean algebras. Pacific journal of mathematics, vol. 13 (1963), pp. 761–771.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 124
-
- Article
- Export citation
A. Nerode. Combinatorial series and recursive equivalence types. Fundamenta mathematicae, vol. 58 (1966), pp. 113–141.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 620-621
-
- Article
- Export citation
Angelo R. Meo. On the determination of the ps maximal implicants of a switching function. IEEE transactions on electronic computers, vol. EC-14 (1965), pp. 830–840.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 303
-
- Article
- Export citation
K. I. Appel and T. G. McLaughlin. On properties of regressive sets. Transactions of the American Mathematical Society, vol. 115 (1965), pp. 83–93.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 621
-
- Article
- Export citation
Roman Sikorski. On extensions and products of Boolean algebras. Fundamenta mathematicae, vol. 53 no. 1 (1963), pp. 99–116.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 124-125
-
- Article
- Export citation
Franz E. Hohn. Applied Boolean algebra. An elementary introduction. Deuxième édition, revue et augmentée, de XXVII 104. The Macmillan Company, New York, et Collier-Macmillan Limited, Londres, 1966, xiii + 273 p.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 304
-
- Article
- Export citation
K. I. Appel. No recursively enumerable set is the union of finitely many immune retraceable sets. Proceedings of the American Mathematical Society, vol. 18 (1967). pp. 279–281.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 621
-
- Article
- Export citation
R. S. Pierce. A note on free algebras. Proceedings of the American Mathematical Society, vol. 14 (1963), pp. 845–846.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 125
-
- Article
- Export citation
K. I. Appel. There exist two regressive sets whose intersection is not regressive. The journal of symbolic logic, vol. 32 (1967), pp. 322–324.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 621-622
-
- Article
- Export citation
Marlow Sholander. Postulates for Boolean algebras. Canadian journal of mathematics (Journal canadien de mathématiques), vol. 5 (1953), pp. 460–464.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 304
-
- Article
- Export citation
R. S. Pierce. A note on free products of abstract algebras. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 66 (1963), pp. 401–407; also Indagationes mathematicae, vol. 25 (1963), pp. 401–407.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 125-126
-
- Article
- Export citation
Richard B. Hurley. Transistor logic circuits. John Wiley & Sons, Inc., New York and London1961, xvi + 363 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 126-127
-
- Article
- Export citation
G. Asser. Einführung in die mathematische Logik. Teil I. Aussagenkalkül. A reprint of XXV 276. Mathematisch-naturwissenschaftliche Bibliothek, no. 18. B. G. Teubner Verlagsgesellschaft, Leipzig1965, VI + 184 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 304
-
- Article
- Export citation
G. Kreisel and Gerald E. Sacks. Metarecursive sets. The journal of symbolic logic, vol. 30 (1965), pp. 318–338.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 622-623
-
- Article
- Export citation
M. Denis-Papin, A. Kaufmann, and R. Faure. Cours de calcul booléien appliqué (notions tur les ensembles et les treillis, algèbres booléiennes, algèbre binaire). With a preface by René de Possel. Éditions Albin Michel, Paris1963, 495 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 127
-
- Article
- Export citation