Contents
Reviews
R. Fréjvald. Složnost' raspoznavaniá simmétrii na mašinah T'uringa s vhodom (Complexity of recognition of symmetry on Turing machines with input). Algébra l logika, Séminar, vol. 4 no. 1 (1965), pp. 47–58. - Á. M. Barzdin'. Složnost' raspoznavaniá simmétrii na mašinah T'úringa (Complexity of recognition of symmetry on Turing machines). Problémy kibérnětiki, vol. 15 (1965), pp. 245–248.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 159
-
- Article
- Export citation
Front matter
JSL volume 35 issue 4 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f3
-
- Article
-
- You have access
- Export citation
Reviews
Michael A. Arbib. Brains, machines, and mathematics. McGraw-Hill Book Company, New York, San Francisco, Toronto, and London, 1964, xiv + 152 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 482-483
-
- Article
- Export citation
G. F. Presley. Quine, Willard Van Orman. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 7, pp. 53–55.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 307-308
-
- Article
- Export citation
Leonard Linsky. Referring. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 7, pp. 95–99.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 308
-
- Article
- Export citation
Peter B. Andrews. Resolution with merging. Journal of the Association for Computing Machinery, vol. 15 (1968), pp. 367–381. (See Correction, ibid., p. 720.)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 159-160
-
- Article
- Export citation
E. J. McCluskeyJr., and H. Schorr. Essential multiple-output prime implicants. Proceedings of the Symposium on Mathematical Theory of Automata, New York, N.Y., April 24, 25, 26, 1962, Microwave Research Institute Symposia series vol. 12, Polytechnic Press of the Polytechnic Institute of Brooklyn, Brooklyn, N.Y., 1963, pp. 437–457.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 483
-
- Article
- Export citation
Back matter
JSL volume 35 issue 4 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
-
- Article
-
- You have access
- Export citation
Reviews
Eric Foxley. Determination of the set of all four-variable formulae corresponding to universal decision elements using a logical computer. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 (1964), pp. 302–314.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 160
-
- Article
- Export citation
Robert Faure with the collaboration of Nicole-Sylvie Guillot LeGarff and Manue Bloch. Eléments de la recherche opérationnelle. Exposé succinct des méthodes, enrichi de 50 exercices et problèmes, presque tous résolus, et de 10 programmes en langage symbolique. Gauthier-Villars, Paris1968, 317 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 483
-
- Article
- Export citation
Donald Kalish. Semantics. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 7, pp. 348–358.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 308
-
- Article
- Export citation
Takakazu Simauti. Mechanization of mathematics. Electronics and communications in Japan, vol. 46 no. 11 (1963), pp. 64–70.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 484
-
- Article
- Export citation
Eric Foxley. The construction of scale-of-two mechanisms from universal decision elements. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 281–287.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 160
-
- Article
- Export citation
Norman Kretzmann. Semantics, history of. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 7, pp. 358–406.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 308
-
- Article
- Export citation
Layman E. Allen, Robin B. S. Brooks, James W. Dickoff, and Patricia A. James. The ALL project (accelerated learning of logic). The American mathematical monthly, vol. 68 (1961), pp. 497–500.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 484
-
- Article
- Export citation
Leonard Linsky. Synonymity. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 8, pp. 54–57.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 308-309
-
- Article
- Export citation
H. H. LoomsJr. , and R. H. WymanJr. , On complete sets of logic primitives. IEEE transactions on electronic computers, vol. EC-14 (1965), pp. 173–174.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 160
-
- Article
- Export citation
Michael A. Harrison. The number of transitivity sets of Boolean functions. Journal of the Society for Industrial and Applied Mathematics, t. 11 (1963), p. 806–828. - Michael A. Harrison. The number of equivalence classes of Boolean functions under groups containing negation. IEEE transactions on electronic computers, t. EC-12 (1963), p. 559–561. - Michael A. Harrison. On the number of classes of(n, k) switching networks. Journal of the Franklin Institute, t. 276 (1963), p. 313–327. - Michael A. Harrison. The number of classes of invertible Boolean functions. Journal of the Association for Computing Machinery, t. 10 (1963), p. 25–28.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 160-161
-
- Article
- Export citation
Norman Malcolm. Wittgenstein, Ludwig Josef Johann. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 8, pp. 327–340.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 309
-
- Article
- Export citation
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 484-489
-
- Article
- Export citation