13629 results in The Journal of Symbolic Logic
Degrees of formal systems1
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 4 / December 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 389-392
- Print publication:
- December 1958
-
- 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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 4 / December 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 443-444
- Print publication:
- December 1958
-
- Article
- Export citation
A. H. Basson and D. J. O'Connor. Introduction to symbolic logic. Second edition. University Tutorial Press Ltd., London1957, viii + 175 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 4 / December 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 434-435
- Print publication:
- December 1958
-
- Article
- Export citation
Twenty-Third Annual Meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 4 / December 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 456-461
- Print publication:
- December 1958
-
- Article
- Export citation
JSL volume 23 issue 4 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 4 / December 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b3
- Print publication:
- December 1958
-
- Article
-
- You have access
- 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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 4 / December 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 445-447
- Print publication:
- December 1958
-
- Article
- Export citation
JSL volume 23 issue 4 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 4 / December 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- December 1958
-
- Article
-
- You have access
- Export citation
Mens rea and murder by torture in California. Stanford law review, vol. 10 no. 4 (1958), pp. 672–693.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 4 / December 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 450-451
- Print publication:
- December 1958
-
- Article
- Export citation
The Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 4 / December 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 461
- Print publication:
- December 1958
-
- 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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 4 / December 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 451-455
- Print publication:
- December 1958
-
- Article
- Export citation
Paul Weiss. The paradox of necessary truth, once more. Philosophical studies (Minneapolis), vol. 7 (1956), pp. 88–89.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 4 / December 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 442
- Print publication:
- December 1958
-
- Article
- Export citation
Schémas pour le calcul des propositions fondé sur la conjonction et la négation
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 4 / December 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 421-431
- Print publication:
- December 1958
-
- 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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 4 / December 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 445
- Print publication:
- December 1958
-
- Article
- Export citation
An investigation on the logical structure of mathematics (V).1 Contradictions of Russell's type
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 4 / December 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 393-407
- Print publication:
- December 1958
-
- Article
- Export citation
Wilfrid Sellars. On the logic of complex particulars. Mind, n.s. vol. 58 (1949), pp. 306–338. - Wilfrid Sellars. Particulars. English with Spanish Extracto. Philosophy and phenomenological research, vol. 13 no. 2 (1952), pp. 184–199. - William P. Alston. Particulars — bare and qualified. Philosophy and phenomenological research, vol. 15 no. 2 (1954), pp. 253–258.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 4 / December 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 441-442
- Print publication:
- December 1958
-
- Article
- Export citation
On the formalisation of indirect discourse
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 4 / December 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 417-419
- Print publication:
- December 1958
-
- Article
- Export citation
Professor Goodstein's formalisation of the policeman
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 4 / December 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 420
- Print publication:
- December 1958
-
- Article
- Export citation
Marian Przełęcki. O tzw. definicjach operacyjnych. Studia logica, vol. 3 (1955), pp. 125–149. - M. Przełęcki. O tak nazyvaémyh opéracionnyh oprédéléniáh. Russian translation of the foregoing. Studia logica, vol. 3 (1955), pp. 150–178. - M. Przełęcki. On so called operational definitions. English summary. Studia logica, vol. 3 (1955), pp. 179–183.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 4 / December 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 440-441
- Print publication:
- December 1958
-
- Article
- Export citation
Herbert L. Searles. Logic and scientific methods. An introductory course. Second edition. The Ronald Press Company, New York1956, viii + 378 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 4 / December 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 436
- Print publication:
- December 1958
-
- Article
- Export citation
List of Officers and Members of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 4 / December 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 462-474
- Print publication:
- December 1958
-
- Article
- Export citation