Contents
Reviews
Maurice L'abbé. Structures algébriques suggérées par la logique mathématique. Bulletin de la Société Mathématique de France, vol. 86 (1958), pp. 299–314.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 337
-
- Article
- Export citation
G. P. Zykin. Zaméčanié ob odnoj téorémé Hao Vana (Comment on a theorem of Hao Wang). Algébra i logika, Séminar, vol. 2 no. 1 (1963), pp. 33–35.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 534
-
- Article
- Export citation
Ú. I. Ánov. О sistémah toždéstv dlá algébr (On systems of identities for algebras). Problémy kibirnétiki, vol. 8 (1962), pp. 75–90.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 162
-
- Article
- Export citation
A. Mostowski. Quelques applications de la topologie à la logique mathématique. Topologie, Volume I, 4th edn., by Casimir Kuratowski, Państwowe Wydawnictwo Naukowe, Warsaw1958, pp. 470–477.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 688
-
- Article
- Export citation
Richard Montague. Theories incomparable with respect to relative interpretability. The journal of symbolic logic, vol. 27 no. 2 (for 1962, pub. 1963), pp. 195–211.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 688
-
- Article
- Export citation
Marc Krasner. Les algèbres cylindriques. Bulletin de la Société Mathématique de France, vol. 86 (1958), pp. 315–319.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 337
-
- Article
- Export citation
H. G. Forder and J. A. Kalman. Implication in equational logic. The mathematical gazette, vol. 46 (1962), pp. 122–126.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 162
-
- Article
- Export citation
C. Y. Lee. Automata and finite automata. The Bell System technical journal, vol. 39 (1960), pp. 1267–1295.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 534-535
-
- Article
- Export citation
Aubert Daigneault. Freedom in polyadic algebras and two theorems of Beth and Craig. The Michigan mathematical journal, vol. 11 (1964), pp. 129–135. - Aubert Daigneault. On automorphisms of polyadic algebras. Transactions of the American Mathematical Society, vol. 112 (1964), pp. 84–130.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 337-338
-
- Article
- Export citation
Jiří Bečvář. A universal Turing machine with a programming tape. Colloquium on the Foundations of Mathematics, Mathematical Machines and Their Applications, Tihany, 11–15 September 1962, edited by László Kalmár, Akadémiai Kiadó, Budapest 1965, pp. 11–20.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 535
-
- Article
- Export citation
Jerzy Słupecki and Witold A. Pogorzelski. A variant of the proof of the completeness of the first order functional calculus. English with Polish and Russian summaries. Studia logica, vol. 12 (1961), pp. 125–134.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 688-689
-
- Article
- Export citation
Eugene Jacobs and Robert Schwabauer. The lattice of equational classes of algebras with one unary operation. The American mathematical monthly, vol. 71 (1964), pp. 151—155.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 163
-
- Article
- Export citation
A. I. Mal′cév. Itérativnyé algebry i mnogoobraziá Posta (Post's iterative algebras and varieties). Algébra i logika, Séminar, vol. 5 no. 2 (1966), pp. 5–24.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 338
-
- Article
- Export citation
Roman Suszko. A note concerning the binary quantifiers. Theoria (Lund), vol. 28 (1962), pp. 269–276.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 689
-
- Article
- Export citation
Antonio Monteiro. Construction des algèbres de Nelson finies. Notas de lógica matemática no. 15, Instituto de Matemática, Universidad Nacional del Sur, Bahía Blanca1964, 11 pp. (Reprinted from Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 11 (1963), pp. 359–362.)
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 163
-
- Article
- Export citation
Dieter Klaua. Berechenbare Analysis. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 (1956), pp. 265–303. - Dieter Klaua. Die Prāzisierung des Berechenbarkeitsbegriffes in der-Analysis mit Hilfe rationaler Funktionale. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 33–96.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 535-536
-
- Article
- Export citation
J. Kent Minichiello. An extension of negationless logic. Notre Dame journal of formal logic, vol. 10 no. 3 (1969), pp. 298–302.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 689
-
- Article
- Export citation
Diana Brignole. Equational characterization of Nelson algebra. Notre Dame journal of formal logic, vol. 10 no. 3 (1969), pp. 285–297.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 163
-
- Article
- Export citation
C. C. Chang and H. Jerome Keisler. Applications of ultraproducts of pairs of cardinals to the theory of models. Pacific journal of mathematics, vol. 12 (1962), pp. 835–845. - C. C. Chang. A note on the two cardinal problem. Proceedings of the American Mathematical Society, vol. 16 no. 6 (for 1965, pub. 1966), pp. 1148–1155.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 338-339
-
- Article
- Export citation
Daniel Lacombe. Deux généralisations de la notion de récursivité. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, t. 258 (1964), p. 3141–3143. - Daniel Lacombe. Deux généralisations de la notion de récursivité relative. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, t. 258 (1964), p. 3410–3413.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 536-537
-
- Article
- Export citation