Contents
Reviews
A. I. Omarov. O kompaktnyh klassah modéléj (On compact classes of models). Algébra i logika, Séminar, vol. 6 no. 2 (1967), pp. 49–60.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 652
-
- Article
- Export citation
J. C. Shepherdson. Representability of recursively enumerable sets in formal theories. Archiv für mathematische Logik und Grundlagenforschung. vol. 5 nos. 3-4 (1960). pp. 119–127.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 117
-
- Article
- Export citation
V. D. Vuckovic. Creative and weakly creative sequences of r.e. sets. Proceedings of the American Mathematical Society, vol. 18 (1967), pp. 478–483.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 296
-
- Article
- Export citation
Robert Feys. Modal logics. Edited with some complements by Joseph Dopp. Collection de logique mathématique, Série B no. 4. E. Nauwelaerts, Louvain, and Gauthier-Villars, Paris, 1965, XIV + 219 pp. - J. Dopp. Editor's foreword. Therein, pp. V–VIII.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 501-502
-
- Article
- Export citation
M. P. Schützenberger. On the definition of a family of automata. Information and control, vol. 4 (1961), pp. 245–270. - M. P. Schützenberger. Finite counting automata.Information and control, vol. 5 (1962), pp. 91–107. - M. P. Schützenberger. Certain elementary families of automata. Proceedings of the Symposium of Mathematical Theory of Automata, New York, N.Y., Microwave Research Symposia series vol. 12, Polytechnic Press of the Polytechnic Institute of Brooklyn, New York1963, pp. 139–153.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 296-297
-
- Article
- Export citation
Andrzej Grzegorczyk. Some relational systems and the associated topological spaces. Fundamenta mathematicae, vol. 60 (1967), pp. 223–231.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 652-653
-
- Article
- Export citation
Raymond M. Smullyan. Elementary formal systems. Journal of the Mathematical Society of Japan, vol. 13 (1961), pp. 38–44.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 117
-
- Article
- Export citation
J. Dopp. Logiques construites par une méthode de déduction naturelle. Collection de logique mathématique, Série B, no. 3, E. Nauwelaerts, Louvain, and Gauthier-Villars, Paris, 1962, 191 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 502
-
- Article
- Export citation
M. P. Schützenberger. A remark on finite transducers. Information and control, vol. 4 (1961), pp. 185–196.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 297
-
- Article
- Export citation
Katuzi Ono. A certain kind of formal theories. Nagoya mathematical journal, vol. 25 (1965), pp. 59–86.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 503
-
- Article
- Export citation
M. T. Partis. Commutative partially ordered recursive arithmetics. Mathematica Scandinavica, vol. 13 (1963), pp. 199–216.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 117-118
-
- Article
- Export citation
Roger C. Lyndon. Metamathematics and algebra: An example. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford 1962, pp. 143–150.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 653
-
- Article
- Export citation
T. Traczyk. Weak isomorphisms of Boolean and Post algebras. Colloquium mathematicum, vol. 13 no. 2 (1965), pp. 159–164.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 653
-
- Article
- Export citation
Katuzi Ono. On universal character of the primitive logic. Nagoya mathematical journal, vol. 27 (1966), pp. 331–353.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 503-504
-
- Article
- Export citation
M. P. Schützenberger. On context-free languages and push-down automata. Information and control, vol. 6 (1963), pp. 246–264.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 297-298
-
- Article
- Export citation
H. Rasiowa. -lattices and constructive logic with strong negation. Fundamenta mathematicae, vol. 46 (1958), pp. 61–80.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 118
-
- Article
- Export citation
Katuzi Ono. A formalism for primitive logic and mechanical proof-checking.Nagoya mathematical journal, vol. 26 (1966), pp. 195–203.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 504
-
- Article
- Export citation
Azriel Lévy. Definability in axiomatic set theory I. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 127–151.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 653-654
-
- Article
- Export citation
Maurice Gross and André Lentin. Notions sur les grammaires formelles. Publications de l'Institut de Programmation de la Faculté des Sciences de Paris, Collection programmation, Gauthier-Villars, Paris1967, 197 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 298-299
-
- Article
- Export citation
H. Rasiowa. Algebraische Charakterisierung der intuitionistischen Logik mit starker Negation. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by A. Heyting, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 234–240.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 118-119
-
- Article
- Export citation