Contents
Reviews
Robert G. Turnbull. A note on Mr. Hare's “logic of imperatives.”Philosophical studies (Minneapolis), vol. 5 (1954), pp. 33–35.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 442
-
- Article
- Export citation
Jean de la Harpe. La logique de l'assertion pure. Nouvelle encyclopédie philosophique 48. Presses Universitaires de France, Paris1950, xii + 77 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 442-443
-
- Article
- Export citation
Kazuo Matsumoto. Sur la structure concernant la logique moderne. Journal of the Osaka Institute of Science and Technology (The Kinki University), Part I, Mathematics and physics, vol. 2 no. 1–2 (1950), pp. 67–78.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 443-444
-
- Article
- Export citation
Antonio Monteiro. Axiomes indépendants pour les algèbres de Brouwer. Revista de la Unión Matemática Argentina y de la Asociación Física Argentina, Bd. 17 (1955), S. 149–160.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 444
-
- Article
- Export citation
A. Grzegorczyk. Elementarily definable analysis. Fundamenta mathematicae, Bd. 41 Heft 2 (1955), S. 311–338.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 444-445
-
- Article
- Export citation
S. Jaśkowski. Undecidability of first order sentences in the theory of free groupoids. Fundamenta mathematicae, Bd. 43 (1956), S. 36–45.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 445
-
- Article
- Export citation
John Myhill. Solution of a problem of Tarski. The journal of symbolic logic, vol. 21 (1956), pp. 49–51. - Andrzej Ehrenfeucht. Two theories with axioms built by means of pleonasms. The journal of symbolic logic, vol. 22 no. 1 (1957), pp. 36–38. - Hilary Putnam. Decidability and essential undecidability. The journal of symbolic logic, pp. 39–54.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 445-447
-
- Article
- Export citation
László Kalmár. Another proof of the Markov-Post theorem. English with Russian summary. Acta mathematica Academiae Scientiarum Hungaricae, vol. 3 (1952), pp. 1–27.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 447-448
-
- Article
- Export citation
Paul R. Halmos. Algebraic logic, III. Predicates, terms, and operations in polyadic algebras. Transactions of the American Mathematical Society, t. 83 (1956), pp. 430–470.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 448-449
-
- Article
- Export citation
Richard Montague and Donald Kalish. Remarks on descriptions and natural deduction. Archiv für mathematische Logik und Grundlagenforschung, vol. 3 (1957), pp. 50–64, 65–73.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 449-450
-
- Article
- Export citation
Heinrich Behmann. Ein logischer Abakus. Archiv für mathematische Logik und Grundlagenforschung, vol. 4 (1958), pp. 42–52.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 450
-
- Article
- Export citation
Mens rea and murder by torture in California. Stanford law review, vol. 10 no. 4 (1958), pp. 672–693.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 450-451
-
- Article
- Export citation
Annibale Pastore. Dei vantaggi che possono trarre gli economisti dagli studi di logics moderna. L'industria, Rivista di economia politico, fasc. 4 (1951), pp. 489–502. - F. di Fenizio. Che può la logistica per le scienze sociali?L'industria, Rivista di economia politico, fasc. 4 (1951), p. 598; ristampato in Che può la logistica per le scienze sociali?, Editrice L'industria, Milano 1951, p. 3. - O. Morgenstern. Logistica e scienze sociali. L'industria, Rivista di economia politico, fasc. 4 (1951), pp. 599–606; ristampato Che può la logistica per le scienze sociali?, Editrice L'industria, Milano 1951, p. 4—11. - K. Menger. Una teoria esatta dei gruppi e delle relazioni sociali. L'industria, Rivista di economia politico, fasc. 4 (1951), pp. 607–614; ristampato Che può la logistica per le scienze sociali?, Editrice L'industria, Milano 1951, pp. 12–19.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 451-455
-
- Article
- Export citation
Meeting Report
Twenty-Third Annual Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 456-461
-
- Article
- Export citation
Other
The Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 461
-
- Article
- Export citation
List of Officers and Members of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 462-474
-
- Article
- Export citation
Front matter
JSL volume 23 issue 4 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Back matter
JSL volume 23 issue 4 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b3
-
- Article
-
- You have access
- Export citation