13629 results in The Journal of Symbolic Logic
JSL volume 19 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 1 / March 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- March 1954
-
- Article
-
- You have access
- Export citation
J. C. Shepherdson. Inner models for set theory. The journal of symbolic logic, vol. 16 (1951), pp. 161–190, vol. 17 (1952), pp. 225–237, and vol. 18 (1953), pp. 145–167.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 4 / December 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 342-343
- Print publication:
- December 1953
-
- Article
- Export citation
Philotheus Boehner. Does Ockham know of material implication?. Franciscan Studies, vol. 11 (1951), pp. 203–230.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 4 / December 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 334-335
- Print publication:
- December 1953
-
- Article
- Export citation
Boleslaw Sobociński. L'analyse de l'antinomie russellienne par Leśniewski. Methodos, vol. 1 (1949), pp. 94–107, 220–228, 308–316, and vol. 2 (1950), pp. 237–257.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 4 / December 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 331-333
- Print publication:
- December 1953
-
- Article
- Export citation
John D. Goodell. The foundations of computing machinery. Part II. The journal of computing systems (St. Paul), vol. 1 no. 2 (1953), pp. 86–110.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 4 / December 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 348-349
- Print publication:
- December 1953
-
- Article
- Export citation
Stanisław Jaśkowski. O konjunkcji dyskusyjnej w rachunku zdań dla systemów dedukcyjnych sprzecznych (Sur la conjonction discursive dans le calcul des propositions pour les systèmes contradictoires). Polish with French summary. Studia Societatis Scientiarutn Torunensis, Sectio A, vol. 1 no. 8 (1949), pp. 171–172.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 4 / December 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 345
- Print publication:
- December 1953
-
- Article
- Export citation
Alan Rose. Some generalized Sheffer functions. Proceedings of the Cambridge Philosophical Society, vol. 48 (1952), pp. 369–373.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 4 / December 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 344-345
- Print publication:
- December 1953
-
- Article
- Export citation
W. H. Burkhart. Theorem minimization. Proceedings of the Association for Computing Machinery, Jointly sponsored by the Association for Computing Machinery and the Mellon Institute, Pittsburgh, Pa., May 2 and 3, 1952, photo-offset, Richard Rimbach Associates, Pittsburgh1952, pp. 259–263.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 4 / December 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 348
- Print publication:
- December 1953
-
- Article
- Export citation
Tadeusz Czeżowski. Uwagi o klasycznej definicji prawdy (Remarks on the classical definition of truth). Ksiega pamiạtkowa 75-lecia Towarzystwa Naukowego w Toruniu, Toruń1952, pp. 35–41.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 4 / December 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 339
- Print publication:
- December 1953
-
- Article
- Export citation
Béla von Juhos. Die Erkenntnisanalytische Methode. Zeitschrift für philosophische Forschung, vol. 6 (1951–1952), pp. 42–53.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 4 / December 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 338
- Print publication:
- December 1953
-
- Article
- Export citation
J. Barkley Rosser. Logic for mathematicians. McGraw-Hill Book New York–Toronto–London1953, xiv + 530 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 4 / December 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 326-327
- Print publication:
- December 1953
-
- Article
- Export citation
Alan Rose. Conditioned disjunction as a primitive connective for the erweiterter Aussagenkalkül. The journal of symbolic logic, vol. 18 (1953), pp. 63–65.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 4 / December 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 344
- Print publication:
- December 1953
-
- Article
- Export citation
Martin Davis. Arithmetical problems and recursively enumerable predicates. The journal of symbolic logic, vol. 18 (1953), pp. 33–41.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 4 / December 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 341-342
- Print publication:
- December 1953
-
- Article
- Export citation
Index of reviews
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 4 / December 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 360-376
- Print publication:
- December 1953
-
- Article
- Export citation
Douglas R. Hartree. Calculating instruments and machines. The University of Illinois Press, Urbana1949, ix + 138 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 4 / December 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 347
- Print publication:
- December 1953
-
- Article
- Export citation
A. C. Lloyd. Mr. Anderson on subjunctive and counterfactual conditionals. Analysis (Oxford), vol. 12 (1951–1952), pp. 113–115.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 4 / December 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 338-339
- Print publication:
- December 1953
-
- Article
- Export citation
Béla von Juhos. Die Anwendung der logistischen Analyse auf philosophische Probleme. Methodos, vol. 3. no. 10 (1951), pp. 81–100. - Giuseppe Vaccarino. Discussione. Methodos, vol. 3. no. 10 (1951), pp. 101–104. - B. v. Juhos. Erwiderung an Herrn Giuseppe Vaccarino. Methodos, vol. 3. no. 10 (1951), pp. 104–105. - Béla von Juhos. The application of logistic analysis to philosophical problems. English translation by Ernst v. Glasersfeld. Methodos, vol. 3. no. 10 (1951), pp. 106–117. - Giuseppe Vaccarino. Discussion. English translation. Methodos, vol. 3. no. 10 (1951), pp. 117–120. - B. v. Juhos. Answer to Mr. Vaccarino. English translation. Methodos, vol. 3. no. 10 (1951), pp. 120–122.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 4 / December 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 337-338
- Print publication:
- December 1953
-
- Article
- Export citation
Alonzo Church. The weak theory of implication. Kontrolliertes Denken, Untersuchungen zum Logikkalkiil unci zur Logik der Einzelwissenschaften, rotaprint, Kommissions-Verlag Karl Alber, Munich1951, pp. 22–37.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 4 / December 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 326
- Print publication:
- December 1953
-
- Article
- Export citation
A simplification of basic logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 4 / December 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 317-325
- Print publication:
- December 1953
-
- Article
- Export citation
Burton Dreben. On the completeness of quantification theory. Proceedings of the National Academy of Sciences of the United States of America, vol. 38 (1952), pp. 1047–1052.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 4 / December 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 339
- Print publication:
- December 1953
-
- Article
- Export citation