13629 results in The Journal of Symbolic Logic
John D. Goodell. Decision elements. Radio-electronic engineering (New York), 071952, pp. 3–5. (Periodical published both separately and as a section of Radio & television news, Radio-electronic engineering edition, vol. 48 no. 1, July 1952.) - John D. Goodell. The foundations of computing machinery. The journal of computing systems, vol. 1 no. 1 (1952), pp. 1–13. - Tenny Lode. The realization of a universal decision element. The journal of computing systems, vol. 1 no. 1 (1952), pp. 14–22.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 283-284
- Print publication:
- September 1953
-
- Article
- Export citation
Henry Margenau. The nature of physical reality. A philosophy of modern physics. McGraw-Hill Book Company, New York - Toronto - London1950, xiii + 479 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 271
- Print publication:
- September 1953
-
- Article
- Export citation
T. J. Fletcher. The solution of inferential problems by Boole algebra. The mathematical gazette, vol. 36 (1952), pp. 183–188.
-
- 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
N. N. Vorob'év. Probléma vyvodimosti v konstruktivnom isčislénii vyskazyvanij s sil'nym otricaniém (The problem of deducibility in the constructive propositional calculus with strong negation). Doklady Akadémii Nauk SSSR, vol. 85 (1952), pp. 689–692.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 258
- Print publication:
- September 1953
-
- Article
- Export citation
N. N. Vorob'év. Konstruktivnoé isčislénié vyskazyvanij s sil'nym otricaniém (A constructive propositional calculus with strong negation). Doklady Akadémii Nauk SSSR, vol. 85 (1952), pp. 465–468.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 257-258
- Print publication:
- September 1953
-
- Article
- Export citation
Quantification theory and empty individual-domains
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 197-200
- Print publication:
- September 1953
-
- Article
- Export citation
László Kalmár. Contributions to the reduction theory of the decision problem. Third paper. Prefix (x1)(Ex2) … (Exn−2)(xn−1)(xn), a single binary predicate. English with Russian abstract. Acta mathematica Academiae Scientiarum Hungaricae, vol. 2(1951), pp. 19–38.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 264
- Print publication:
- September 1953
-
- Article
- Export citation
Haskell B. Curry. The system LD. The journal of symbolic logic, vol. 17 (1952), pp. 35–42. - Haskell B. Curry. On the definition of negation by a fixed proposition in inferential calculus. The journal of symbolic logic, vol. 17 (1952), pp. 98–104.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 266-268
- Print publication:
- September 1953
-
- Article
- Export citation
Baruch Germansky. (Problem). Riveon lematematika, vol. 6 (1952–1953), p. 79.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 263
- Print publication:
- September 1953
-
- Article
- Export citation
Paul Lorenzen. Die Widerspruchsfreiheit der klassischen Analysis. Ebd., Bd. 54 Heft 1 (1951), S. 1–24.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 261-262
- Print publication:
- September 1953
-
- Article
- Export citation
Strict implication, deducibility and the deduction theorem
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 234-236
- Print publication:
- September 1953
-
- Article
- Export citation
Erik Stenius. Das Interpretationsproblem der formalisierten Zahlentheorie und ihre formate Widerspruchsfreiheit. Acta Academiae Aboensis, vol. 18 no. 3. Åbo Akademi, Åbo1952, 102 pp. With separate sheet of Berichtigungen.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 262-263
- Print publication:
- September 1953
-
- Article
- Export citation
G. T. Kneebone. Mathematical formalisms and their realizations. Philosophy, vol. 27 (1952), pp. 138–147.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 270
- Print publication:
- September 1953
-
- Article
- Export citation
Alexander Philipov. Logic and dialectic in the Soviet Union. With a foreword by Ernest Nagel. Studies on the U.S.S.R. No. 1. Lithoprinted. Research Program on the U.S.S.R. (East European Fund, Inc.), New York1952, xi + 89 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 272-273
- Print publication:
- September 1953
-
- Article
- Export citation
Rózsa Péter. Probleme der Hilbertschen Theorie der höheren Stufen von rekursiven Funktionen. German with Russian abstract. Acta mathematica Academiae Scientiarum Hungaricae, vol. 2 (1951), pp. 247–274.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 263-264
- Print publication:
- September 1953
-
- Article
- Export citation
JSL volume 18 issue 3 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- September 1953
-
- Article
-
- You have access
- Export citation
P. Masani. What is a function?Mathematics student, vol. 19 no. 3–4 (for 1951, pub. 1952), pp. 81–101.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 269-270
- Print publication:
- September 1953
-
- Article
- Export citation
Haskell B. Curry. Language, metalanguage, and formal system. The philosophical review, vol. 59 (1950), pp. 346–353.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 270
- Print publication:
- September 1953
-
- Article
- Export citation
Hao Wang. The irreducibility of impredicative principles. Mathematische Annalen, vol. 125 no. 1 (1952), pp. 56–66.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 265-266
- Print publication:
- September 1953
-
- Article
- Export citation
A problem in recursive function theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 225-232
- Print publication:
- September 1953
-
- Article
- Export citation