Contents
Reviews
G. Fuhrken. Skolem-type normal forms for first-order languages with a generalized quantifier. Fundamenta mathematicae, vol. 54 (1964), pp. 291–302. - R. L. Vaught. The completeness of logic with the added quantifier “there are uncountably many.”Fundamenta mathematicae, vol. 54 (1964), pp. 303–304.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 121-122
-
- Article
- Export citation
H. Jerome Keisler. First order properties of pairs of cardinals. Bulletin of the American Mathematical Society, vol. 72 (1966), pp. 141–144.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 122
-
- Article
- Export citation
Erwin Engeler. A reduction-principle for infinite formulas. Mathematische Annalen, vol. 151 (1963), pp. 296–301.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 123
-
- Article
- Export citation
E. G. K. Lopez-Escobar. On defining well-orderings. Fundamenta mathematicae, vol. 59 (1966), pp. 13–21. - E. G. K. Lopez-Escobar. An addition to “On defining well-orderings.“Fundamenta mathematicae, vol. 59 (1966), pp. 299–300.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 123
-
- Article
- Export citation
H. Jerome Keisler. Universal homogeneous Boolean algebras. The Michigan mathematical journal, vol. 13 (1966), pp. 129–132.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 123
-
- Article
- Export citation
Ph. Dwinger and F. M. Yaqub. Generalized free products of Boolean algebras with an amalgamated subalgebra. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 66 (1963), pp. 225–231; also lndagationes mathematicae, vol. 25 (1963), pp. 225–231.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 124
-
- Article
- Export citation
F. M. Yaqub. Free extensions of Boolean algebras. Pacific journal of mathematics, vol. 13 (1963), pp. 761–771.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 124
-
- Article
- Export citation
Roman Sikorski. On extensions and products of Boolean algebras. Fundamenta mathematicae, vol. 53 no. 1 (1963), pp. 99–116.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 124-125
-
- Article
- Export citation
R. S. Pierce. A note on free algebras. Proceedings of the American Mathematical Society, vol. 14 (1963), pp. 845–846.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 125
-
- Article
- Export citation
R. S. Pierce. A note on free products of abstract algebras. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 66 (1963), pp. 401–407; also Indagationes mathematicae, vol. 25 (1963), pp. 401–407.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 125-126
-
- Article
- Export citation
Richard B. Hurley. Transistor logic circuits. John Wiley & Sons, Inc., New York and London1961, xvi + 363 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 126-127
-
- Article
- Export citation
M. Denis-Papin, A. Kaufmann, and R. Faure. Cours de calcul booléien appliqué (notions tur les ensembles et les treillis, algèbres booléiennes, algèbre binaire). With a preface by René de Possel. Éditions Albin Michel, Paris1963, 495 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 127
-
- Article
- Export citation
J. Kuntzmann. Algèbre de Boole. Dunod, Paris1965, xxii + 319 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 127
-
- Article
- Export citation
R. A. Cuninghame-Green. Single primitive ternary connectives for the 2-valued prepositional calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 206–207. - Roger F. Wheeler. Complete prepositional connectives. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 185–198. - Roger F. Wheeler. An asymptotic formula for the number of complete prepositional connectives. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 (1962), pp. 1–4. - Roger F. Wheeler. Complete connectives for the 3-vaIued prepositional calculus. Proceedings of the London Mathematical Society, ser. 3 vol. 16 (1966), pp. 167–191.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 127-128
-
- Article
- Export citation
Tsutomu Hosoi. The separation theorem on the classical system. Journal of the Faculty of Science, University of Tokyo, section I, Mathematics, astronomy, physics, chemistry, vol. 12 part 2 (1966), pp. 223–230.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 128
-
- Article
- Export citation
Tsutomu Hosoi. Algebraic proof of the separation theorem on classical propositional calculus. Proceedings of the Japan Academy, vol. 42 (1966), pp. 67–69. - Tsutomu Hosoi. Algebraic proof of the separation theorem on Dummett's LC. Proceedings of the Japan Academy, vol. 42 (1966), pp. 693–695.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 128-129
-
- Article
- Export citation
David Nelson. Non-null implication. The Journal of symbolic logic, vol. 31 (1966). pp. 562–572.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 129
-
- Article
- Export citation
John Riser. A Gentzen-type calculus of sequents for single-operator propositional logic. The Journal of symbolic logic, vol. 32 (1967), pp. 75–80.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 129
-
- Article
- Export citation
Jerzy Słupecki. Slowo wstępne (Introduction). Z zagadnień logiki i filozofii. Pisma wybrane, by Jan Łukasiewicz, edited by Jerzy Słupecki, Państwowe Wydawnictwo Naukowe, Warsaw1961, pp. 5–8.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 129
-
- Article
- Export citation
Jan Łukasiewicz. Podstawy logiczne rachunku prawdopodobieństwa. Polish translation of IV 174(1) by Egon Viclrose. edited by Jerzy Słupecki, Państwowe Wydawnictwo Naukowe, Warsaw1961, pp. 76–113.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 130
-
- Article
- Export citation