Our systems are now restored following recent technical disruption, and we’re working hard to catch up on publishing. We apologise for the inconvenience caused. Find out more: https://www.cambridge.org/universitypress/about-us/news-and-blogs/cambridge-university-press-publishing-update-following-technical-disruption

Skip to main content Accessibility help

Home
Journals
The Journal of Symbolic Logic
Volume 16

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 16 - December 1951

Reviews

Hao Wang. Set-theoretical basis for real numbers. The journal of symbolic logic, vol. 15 (1950), pp. 241–247.

Wilfrid Sellars. The identity of linguistic expressions and the paradox of analysis. Philosophical studies, vol. 1 (1950), pp. 24–31. - Wilfrid Sellars. Gestalt qualities and the paradox of analysis. Philosophical studies, vol. 1 (1950), pp. 92–94.

Naoto Yonemitsu. On systems of strict implication. Tôhoku mathematical journal, ser. 2 vol. 3 (1951), pp. 48–58.

Rózsa Péter. Zusammenhang der mehrfachen und transfiniten Rekursionen. The journal of symbolic logic, vol. 15 (1950), pp. 248–272.

F. L. Bauer. Zur Algebraik des Logikkalküls. Methodos, vol. 1 (1949), pp. 288–292.

François Moch. Ensembles, espèces et logique. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 232 (1951), pp. 201–202.

Arthur Pap. Are individual concepts necessary?Philosophical studies, vol. 1 (1950), pp. 17–24.

Hao Wang. Remarks on the comparison of axiom systems. Proceedings of the National Academy of Sciences of the United States of America, vol. 36 (1950), pp. 448–453.

A. Archer. A Venn diagram analogue computer. Nature, vol. 166 (1950), p. 829.

Rózsa Peter. Zum Begriff der rekursiven reellen Zahl. Acta scientiarum mathematicarum, vol. 12 part A (1950), pp. 239–245.

Alan Rose. Remarque sur les notions d'indépendence et de non-contradiction. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 233 (1951), pp. 512–513.

Th. Skolem. De logiske paradokser og botemidlene mot dem (The logical paradoxes and the remedies for them). Norsk matematisk tidsskrift, vol. 32 (1950), pp. 2–11.

Alfred Horn. On sentences which are true of direct unions of algebras. The journal of symbolic logic, vol. 16 (1951), pp. 14–21.

Hao Wang. The non-finitizability of impredicalive principles. Proceedings of the National Academy of Sciences of the United States of America, vol. 36 (1950), pp. 479–484.

Roger C. Lyndon. The representation of relational algebras. Annals of mathematics, ser. 2 vol. 51 (1950), pp. 707–729.

Julia Robinson. General recursive functions. Proceedings of the American Mathematical Society, vol. 1 no. 6 (for 1950, pub. 1951), pp. 703–718.

John Myhill. Report on some investigations concerning the consistency of the axiom of reducibility. The journal of symbolic logic, vol. 16 (1951), pp. 35–42.

Ugo Cassina. Le dimostrazioni in matematica. Annali di matematica pura ed applicata, ser. 4 vol. 29 (1949), pp. 131–146.

Hao Wang. Existence of classes and value specification of variables. The journal of symbolic logic, vol. 15 (1950), pp. 103–112.

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Save Search

Volume 16 - December 1951

Reviews