Contents
Reviews
A. R. Turquette. A general theory of k-place stroke functions in 2-valued logic. Proceedings of the American Mathematical Society, vol. 13 (1962), pp. 822–824.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 143
-
- Article
- Export citation
William H. Jobe. Functional completeness and canonical forms in many-valued logics. The journal of symbolic logic, vol. 27 no. 4 (for 1962, pub. 1963), pp. 409–422.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 143-144
-
- Article
- Export citation
Alan Rose. Self-dual binary and ternary connectives for m-valued propositional calculi. Mathematische Annalen, vol. 143 (1961), pp. 448–462. - Alan Rose. Sur certains calculs propositionnels à m valeurs ayant un seul foncteur primitif lequel constitue son propre dual. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 252 (1961), pp. 3176–3178. - Alan Rose. Sur certains calculs propositionnels à m valeurs ayant deux fondeurs primitifs dont chacun est le dual de l'autre. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 252 (1961), pp. 3375–3376. - Alan Rose. Sur un ensemble de foncteurs primitifs pour le calcul propositionnel à m valeurs lequel constitue son propre m-al. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 254 (1962), pp. 1897–1899. - Alan Rose. Sur un ensemble complet de foncteurs primitifs indépendants pour le calcul propositionnel trivalent lequel constitue son propre trial. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 254 (1962), p. 2111. - Alan Rose. A simplified self m-al set of primitive functors for the m-valued prop-ositional calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 (1962), pp. 257–266.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 144-145
-
- Article
- Export citation
Arto Salomaa. On sequences of functions over an arbitrary domain. Annales Universitatis Turkuensis, Series AI, no. 62, Turun Yliopisto, Turku1963, 5 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 145
-
- Article
- Export citation
Bruno Scarpellini. Die Nichtaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von Łukasiewicz. The journal of symbolic logic, vol. 27 no. 2 (for 1962, pub. 1963), pp. 159–170.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 145
-
- Article
- Export citation
Kurt Schütte. Der Interpolationssatz der intuitionistischen Prädikatenlogik. Mathematische Annalen, vol. 148 (1962), pp. 192–200.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 145-146
-
- Article
- Export citation
S. C. Kleene. An addendum. The journal of symbolic logic, vol. 28 no. 2 (for 1963, pub. 1964), pp. 154–156.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 146
-
- Article
- Export citation
Hartley RogersJr., Gödel numberings of partial recursive functions. The journal of symbolic logic, vol. 23 no. 3 (for 1958, pub. 1959), pp. 331–341.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 146
-
- Article
- Export citation
Gaisi Takeuti. Ordinal diagrams II. Journal of the Mathematical Society of Japan, vol. 12 (1960), pp. 385–391.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 146-147
-
- Article
- Export citation
Gaisi Takeuti. On the inductive definition with quantifiers of second order. Journal of the Mathematical Society of Japan, vol. 13 (1961), pp. 333–341.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 147
-
- Article
- Export citation
Gaisi Takeuti. On the fundamental conjecture of GLC. VI. Proceedings of the Japan Academy, vol. 37 (1961), pp. 440–443.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 147
-
- Article
- Export citation
Hao Wang. Partial systems of number theory. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 376–382.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 147
-
- Article
- Export citation
B. A. Trahtenbrot. Algorithmes et machines à calculer. French translation of XXVIII 111(1), by A. Chauvin. Dunod, Paris1963, x + 149 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 147-148
-
- Article
- Export citation
A. Daigneault and D. Monk. Representation theory for polyadic algebras. Fundamenta mathematicae, vol. 52 (1963), pp. 151–176.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 148
-
- Article
- Export citation
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 148-149
-
- Article
- Export citation
Other
Notice of a meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 149
-
- Article
- Export citation
Meeting Report
Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 150-162
-
- Article
- Export citation
Front matter
JSL volume 29 issue 3 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Back matter
JSL volume 29 issue 3 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
-
- Article
-
- You have access
- Export citation