13629 results in The Journal of Symbolic Logic
Janos Surányi. Contributions to the reduction theory of the decision problem. Fifth paper. Ackermann prefix with three universal quantifiers. English with Russian abstract. Acta mathematica Academiae Scientiarum Hungaricae, vol. 2 (1951), pp. 325–335.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 265
- Print publication:
- September 1953
-
- Article
- Export citation
Michael J. Norris. Cofinally concentrated directed systems. The journal of computing systems, vol. 1 no. 2 (1953), pp. 81–85. - Yataro Matusima. On some problems of Birkhoff. Proceedings of the Japan Academy, vol. 28 (1952), pp. 19–24.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 285
- Print publication:
- September 1953
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 285-288
- Print publication:
- September 1953
-
- Article
- Export citation
Bolesław Sobociński. Axiomatization of a partial system of three-value calculus of propositions. The journal of computing systems (St. Paul), vol. 1 no. 1 (1952), pp. 23–55.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 283
- Print publication:
- September 1953
-
- Article
- Export citation
Banishing the rule of substitution for functional variables
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 201-208
- Print publication:
- September 1953
-
- Article
- Export citation
Systems of transfinite types involving λ-conversion
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 209-224
- Print publication:
- September 1953
-
- Article
- Export citation
The M-valued calculus of non-contradiction
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 237-241
- Print publication:
- September 1953
-
- Article
- Export citation
Note on a paradox
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 233
- Print publication:
- September 1953
-
- Article
- Export citation
R. L. Goodstein. Constructive formalism. Essays on the foundations of mathematics. University College, Leicester, England, 1951, 91 pp. - R. L. Goodstein. The foundations of mathematics. An inaugural lecture delivered at the University College of Leicester 13th November 1951. University College, Leicester, England, pub. 1952, 27 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 258-260
- Print publication:
- September 1953
-
- Article
- Export citation
Ulrich Klug. Zur Lehre von den Kontrapositionsschlüssen. Zeitschrift für philosophische Forschung, vol. 3 (1948–1949), pp. 1–27.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 273
- Print publication:
- September 1953
-
- Article
- Export citation
W. V. Quine. The problem of simplifying truth functions. The American mathematical monthly, vol. 59 (1952), pp. 521–531. (Offprint 1952, on sale by the Mathematical Association of America.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 280-282
- Print publication:
- September 1953
-
- Article
- Export citation
Bruno von Freytag Löringhoff. Über das System der Modi des Syllogismus. Zeitschrift für philosophische Forschung, vol. 4 (1949–1950), pp. 235–256.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 273
- Print publication:
- September 1953
-
- Article
- Export citation
J. D. Swift. Algebraic properties of n-valued propositional calculi. American mathematical monthly, vol. 59 (1952), pp. 612–621.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 282
- Print publication:
- September 1953
-
- Article
- Export citation
JSL volume 18 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- September 1953
-
- Article
-
- You have access
- Export citation
Laszló Kalmár. Contributions to the reduction theory of the decision problem. Fourth paper. Reduction to the case of a finite set of individuals. English with Russian abstract. Acta mathematica Academiae Scientiarum Hungaricae, vol. 2 (1951), pp. 125–142.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 264-265
- Print publication:
- September 1953
-
- Article
- Export citation
Alan Rose. Self-dual primitives for modal logic. Mathematische Annalen, vol. 125 (1952–1953), pp. 284–286.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 282-283
- Print publication:
- September 1953
-
- Article
- Export citation
Paul Lorenzen. Konstruktive Begründung der Mathematik. Mathematische Zeitschrift, Bd. 53 Heft 2 (1950), S. 162–202.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 260-261
- Print publication:
- September 1953
-
- Article
- Export citation
P. F. Strawson. Introduction to logical theory. Methuen & Co., London1952; John Wiley & Sons, New York 1952; x + 266 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 273-276
- Print publication:
- September 1953
-
- Article
- Export citation
Jan Kalicki. A test for the equality of truth-tables. The journal of symbolic logic, vol. 17 (1952), pp. 161–163.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 268-269
- Print publication:
- September 1953
-
- Article
- Export citation
Systems of syntactic analysis
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 242-256
- Print publication:
- September 1953
-
- Article
- Export citation