Contents
Reviews
Diana Brignole and Antonio Monteiro. Caractérisation des algèbres de Nelson par des égalités. Notas de lógica matematica, no. 20, Instituto de Matematica, Universidad Nacional del Sur, Bahia Blanca1964, 14 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 119
-
- Article
- Export citation
Katuzi Ono. A pursuit of simple basic systems. Annals of the Japan Association for Philosophy of Science, vol. 3 no. 1 (1966), pp. 6–11.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 504
-
- Article
- Export citation
Bruno Scarpellini. On a family of models of Zermelo-Fraenkel set theory. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 (1966), pp. 191–204.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 654
-
- Article
- Export citation
A. I. Mal′cév. Modél′nyé sootvéctviá (Model correspondences). Izvéstiá Akadémii Nauk SSSR, Sériá matématičéskaá, vol. 23 (1959), pp. 313–336.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 299-300
-
- Article
- Export citation
Satoshi Miura. A remark on the intersection of two logics. Nagoya mathematical journal, vol. 26 (1966), pp. 167–171.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 504-505
-
- Article
- Export citation
Simon Kochen. Topics in the theory of definition. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 170–176. - Walter Felscher. On criteria of definability. Proceedings of the American Mathematical Society, vol. 19 (1968), pp. 834–836.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 300-301
-
- Article
- Export citation
G. Kreisel. On weak completeness of intuitionistic predicate logic. The journal of symbolic logic, vol. 27 no. 2 (for 1962, pub. 1963), pp. 139–158.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 119-120
-
- Article
- Export citation
A. Lévy and R. M. Solovay. Measurable cardinals and the continuum hypothesis. Israel journal of mathematics, vol. 5 (1967), pp. 234–248.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 654-655
-
- Article
- Export citation
Harvey Gerber. An extension of Schütte´s Klammer-symbols. Mathematische Annalen, vol. 174 (1967), pp. 203–216.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 655
-
- Article
- Export citation
Tsutomu Hosoi. On the separation theorem of intermediate propositional calculi. Proceedings of the Japan Academy of Sciences, vol. 42 (1966), pp. 535–538. - Tsutomu Hosoi. The separable axiomatization of the intermediate propositional systems Sn of Gödei. Proceedings of the Japan Academy of Sciences, vol. 42 (1966), pp. 1001–1006.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 505
-
- Article
- Export citation
Alan Ross Anderson and Nuel D. BelnapJr., Modalities in Ackermann's “rigorous implication.”The journal of symbolic logic, vol. 24 no. 2 (for 1959, pub. 1960), pp. 107–111.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 120
-
- Article
- Export citation
E. G. K. Lopez-Escobar. An interpolation theorem for denumerably long formulas. Fundamenta mathematicae, vol. 57 no. 3 (1965), pp. 253–257. - E. G. K. Lopez-Escobar. Universal formulas in the infinitary language Lαβ. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 (1965), pp. 383–388.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 301-302
-
- Article
- Export citation
Nuel D. BelnapJr., Entailment and relevance. The journal of symbolic logic, vol. 25 no. 2 (for 1960, pub. 1961), pp. 144–146.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 120
-
- Article
- Export citation
Anton Jensen. Om aksiomatisk mœngdeteori (On axiomatic set theory). Nordisk matematisk tidskrift, vol. 13 no. 3 (1965), pp. 91–101.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 655
-
- Article
- Export citation
M. D. Gladstone. Some ways of constructing a propositional calculus of any required degree of unsolvability. Transactions of the American Mathematical Society, vol. 118 (1965), pp. 192–210.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 505-506
-
- Article
- Export citation
Azriel Lévy. Axiomatization of induced theories. Proceedings of the American Mathematical Society, vol. 12 (1961), pp. 251–253.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 302
-
- Article
- Export citation
Jean Ladrière. La notion de constructivité en métamathématique. Bulletin de la Société Mathématique de Belgique (1956), pp. 82–97.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 655-656
-
- Article
- Export citation
Gilbert Baumslag, W. W. Boone, and B. H. Neumann. Some unsolvable problems about elements and subgroups of groups. Mathematica Scandinavica, vol. 7 (1959), pp. 191–201.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 506
-
- Article
- Export citation
T. Traczyk. On axioms and some properties of Post algebras. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 10 (1962), pp. 509–512. - T. Traczyk. Axioms and some properties of Post algebras. Colloquium mathematicum, vol. 10 (1963), pp. 193–209. - T. Traczyk. A generalization of the Loomis-Sikorski theorem.Colloquium mathematicum, vol. 12 (1964), pp. 155–161.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 121
-
- Article
- Export citation
Alfred Tarski. The completeness of elementary algebra and geometry. Centre National de la Recherche Scientifique, Institut Blaise Pascal, Paris1967, iv + 50 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 302
-
- Article
- Export citation