Last updated 2nd August 2024: Online ordering is currently unavailable due to technical issues. As we resolve the issues resulting from this, we are also experiencing some delays to publication. We are working hard to restore services as soon as possible and apologise for the inconvenience. 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 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 1 - June 1936

Reviews

Edward V. Huntington. Mathematical postulates for the logical operations of assertion, conjunction, negation and equality. Proceedings of the National Academy of Sciences, vol. 22 (1936), pp. 291–296.

W. V. Quine. Definition of substitution. Bulletin of the American Mathematical Society, vol. 42 (1936), pp. 561–569.

Alfred Tarski. Grundzüge des Systemenkalküls. Zweiter Teil. Fundamenta mathematicae, vol. 26 (1936), pp. 283–301.

Jacques Picard. Syllogisme catégorique et syllogisme hypothétique (Suite et fin). Revue de métaphysique et de morale, vol. 43 (1936), pp. 403–429.

Max Black. The claims of intuitionism. The philosopher, vol. 14 (1936), pp. 89–97.

Bertrand Russell. On order in time. Proceedings of the Cambridge Philosophical Society, vol. 32 (1936), pp. 216–228.

Everett J. Nelson. A note on contradiction: A protest. The philosophical review, vol. 45 (1936), pp. 505–508.

H. M. MacNeille. Extensions of partially ordered sets. Proceedings of the National Academy of Sciences, vol. 22 (1936), pp. 45–50.

Alonzo Church. An unsolvable problem of elementary number theory. American journal of mathematics, vol. 58 (1936), pp. 345–363.

S. Pankajam. On Eider's ϕ-function and its extensions. The journal of the Indian Mathematical Society, n.s. vol. 2 (1936), pp. 67–75.

Jan Łukasiewicz. Logistyka a filozofja (Logistic and philosophy). Przeglqd filozoficzny, vol. 39 (1936), pp. 115–131.

Alonzo Church. A note on the Entscheidungsproblem. The journal of symbolic logic, vol. 1 (1936), pp. 40–41. (See correction thereto forthcoming in this Journal.)

E. W. Beth. Démonstration d'un théorème concernant le principe du tiers exclu. Académie Royale de Belgique, Bulletindela classedes sciences, 5 s. vol. 22 (1936), pp. 580–581.

Alonzo Church and J. B. Rosser. Some properties of conversion. Transactions of the American Mathematical Society, vol. 39 (1936), pp. 472–482.

Marcel Barzin. Note sur la démonstration de M. E. W. Beth. Académie Royale de Belgique, Bulletin de la classe des sciences, 5 s. vol. 22 (1936), pp. 582–583.

Gerhard Gentzen. Die Widerspruchsfreiheit der reinen Zahlentheorie, Mathematische Annalen, vol. 112 (1936), pp. 493–565.

M. H. Stone. The theory of representations for Boolean algebras. Transactions of the American Mathematical Society, vol. 40 (1936), pp. 37–111.

M. Wajsberg. Untersuchung über Unabhängigkeitsbeweise nach der Matrizenmethode. Wiadomości matematyczne, vol. 41 (1936), pp. 33–70.

Related Citations

Gerhard Gentzen. Die Widers pruchsfreiheilder Stufenlogik. Mathematische Zeitschrift, vol. 41 (1936), pp. 357–366.

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Save Search

Volume 1 - June 1936

Reviews