Last updated 10th July 2024: Online ordering is currently unavailable due to technical issues. We apologise for any delays responding to customers while we resolve this. For further updates please visit our website https://www.cambridge.org/news-and-insights/technical-incident

Skip to main content Accessibility help

Home
Journals
The Journal of Symbolic Logic
Volume 24 Issue 1

The Journal of Symbolic Logic

Other actions
- Information
- - Add bookmark
  - Add alert
  - RSS Feed
  - Share

Published on behalf of Association of Symbolic Logic

Journal Home

Journal home
Journal information
Accepted manuscripts
FirstView articles
Latest issue
All issues
Most cited
Most read
Open access

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Volume 24 - Issue 1 - March 1959

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.

Dana Scott. The independence of certain distributive laws in Boolean algebras. Transactions of the American Mathematical Society, vol. 84 (1957), pp. 258–261.

R. S. Pierce. Distributivity in Boolean algebras. Pacific journal of mathematics, vol. 7 (1957), pp. 983–992.

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.

Gaisi Takeuti. A metamathematical theorem on the theory of ordinal numbers. Journal of the Mathematical Society of Japan, vol. 4 (1952), pp. 146–165.

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.

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.

Gaisi Takeuti. Ordinal diagrams. Journal of the Mathematical Society of Japan, vol. 9 (1957), pp. 386–394.

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.

Gaisi Takeuti. A metamathematical theorem on functions. Journal of the Mathematical Society of Japan, vol. 8 (1956), pp. 65–78.

Gaisi Takeuti. On Skolem's theorem. Journal of the Mathematical Society of Japan, vol. 9 (1957), pp. 71–76.

Gaisi Takeuti. Remark on my paper: On Skolem's theorem. Journal of the Mathematical Society of Japan, vol. 9 (1957), pp. 192–194.

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.

Gaisi Takeuti. On the theory of ordinal numbers. Journal of the Mathematical Society of Japan, vol. 9 (1957), pp. 93–113.

Gaisi Takeuti. On the theory of ordinal numbers, II. Journal of the Mathematical Society of Japan, vol. 10 (1958), pp. 106–120.

Trevor Evans and Lane Hardy. Sheffer stroke functions in many-valued logics. Portugaliae mathematica, vol. 16 no. 3–4 (1957), pp. 83–93.

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.

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.

N. A. Routledge. Ordinal recursion. Proceedings of the Cambridge Philosophical Society, vol. 49 (1953), pp. 175–182.

N. A. Routledge. Concerning definable sets. Fundamenta mathematicae, vol. 41 no. 1 (1954), pp. 6–11.

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Save Search

Volume 24 - Issue 1 - March 1959

Reviews