Contents
Reviews
E. C. SmithJr., and Alfred Tarski. Higher degrees of distributivity and completeness in Boolean algebras. Transactions of the American Mathematical Society, vol. 84 (1957), pp. 230–257.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 59-60
-
- Article
- Export citation
Dana Scott. The independence of certain distributive laws in Boolean algebras. Transactions of the American Mathematical Society, vol. 84 (1957), pp. 258–261.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 60-61
-
- Article
- Export citation
R. S. Pierce. Distributivity in Boolean algebras. Pacific journal of mathematics, vol. 7 (1957), pp. 983–992.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 61
-
- Article
- Export citation
Juliusz Reichbach. On the first-order functional calculus and the truncation of models. English, with Polish and Russian summaries. Studio logica, vol. 7 (1958), pp. 181–220.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 61
-
- Article
- Export citation
Gaisi Takeuti. A metamathematical theorem on the theory of ordinal numbers. Journal of the Mathematical Society of Japan, vol. 4 (1952), pp. 146–165.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 62
-
- Article
- Export citation
Gaisi Takedti. On the fundamental conjecture of GLC. Journal of the Mathematical Society of Japan, vol. 7 (1955),pp. 249–275, 394–408, and vol. 8 (1956), pp. 54–64, 145–155, and vol. 10(1958),pp. 121–134.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 62-64
-
- Article
- Export citation
Takakazu Shimauti. Proof of a special case of the fundamental conjecture of Takeuti's GLC. Journal of the Mathematical Society of Japan, vol. 8 (1956), pp. 135–144.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 64
-
- Article
- Export citation
Gaisi Takeuti. Ordinal diagrams. Journal of the Mathematical Society of Japan, vol. 9 (1957), pp. 386–394.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 64-65
-
- Article
- Export citation
Gaisi Takeuti. On the formal theory of the ordinal diagrams. Annals of the Japan Association for Philosophy of Science, vol. 1 no. 3 (1958), pp. 151–170.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 65
-
- Article
- Export citation
Gaisi Takeuti. A metamathematical theorem on functions. Journal of the Mathematical Society of Japan, vol. 8 (1956), pp. 65–78.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 65-66
-
- Article
- Export citation
Gaisi Takeuti. On Skolem's theorem. Journal of the Mathematical Society of Japan, vol. 9 (1957), pp. 71–76.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 66
-
- Article
- Export citation
Gaisi Takeuti. Remark on my paper: On Skolem's theorem. Journal of the Mathematical Society of Japan, vol. 9 (1957), pp. 192–194.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 66
-
- Article
- Export citation
Gaisi Takeuti. Construction of the set theory from the theory of ordinal numbers. Journal of the Mathematical Society of Japan, vol. 6 (1954), pp. 196–220. Errata, ibid., vol. 7 (1955), p. 408.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 66-67
-
- Article
- Export citation
Gaisi Takeuti. On the theory of ordinal numbers. Journal of the Mathematical Society of Japan, vol. 9 (1957), pp. 93–113.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 67
-
- Article
- Export citation
Gaisi Takeuti. On the theory of ordinal numbers, II. Journal of the Mathematical Society of Japan, vol. 10 (1958), pp. 106–120.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 67
-
- Article
- Export citation
Trevor Evans and Lane Hardy. Sheffer stroke functions in many-valued logics. Portugaliae mathematica, vol. 16 no. 3–4 (1957), pp. 83–93.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 67-68
-
- Article
- Export citation
J. Porte. Une propriété du calcul propositionnel intuitionniste. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 61 (1958), pp. 362–365; also Indagationes mathematicae, vol. 20 (1958), pp. 362–365.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 68-69
-
- Article
- Export citation
Th. Skolem. A version of the proof of equivalence between complete induction and the uniqueness of primitive recursion. Det Kongelige Norske Videnskabers Selskabs, ForhandUnger, Bd. 29 Heft 3 (1956), S. 10–15.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 69
-
- Article
- Export citation
N. A. Routledge. Ordinal recursion. Proceedings of the Cambridge Philosophical Society, vol. 49 (1953), pp. 175–182.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 69
-
- Article
- Export citation
N. A. Routledge. Concerning definable sets. Fundamenta mathematicae, vol. 41 no. 1 (1954), pp. 6–11.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 69
-
- Article
- Export citation