13629 results in The Journal of Symbolic Logic
Some theorems about the sentential calculi of Lewis and Heyting
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 1 / March 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-15
- Print publication:
- March 1948
-
- Article
- Export citation
A. Markov. Névozmožnost‚ nékotoryh algorifmov v léorii associativnyh sistém (Impossibility of certain algorithms in the theory of associative systems). Doklady Akadémii Nauk SSSR, vol. 55 (1947), pp. 587–590.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 1 / March 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. 52-53
- Print publication:
- March 1948
-
- Article
- Export citation
JSL volume 13 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 1 / March 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- March 1948
-
- Article
-
- You have access
- Export citation
Corrections to two papers on modal logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 1 / March 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. 38-39
- Print publication:
- March 1948
-
- Article
- Export citation
GR. C. Moisil. Notes sur les logiques non-chrysippiennes. Annates scientifiques de l'Universit´ de Jassy vol. 27 (1941), pp. 86–98.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 1 / March 1948
- Published online by Cambridge University Press:
- 12 March 2014, p. 50
- Print publication:
- March 1948
-
- Article
- Export citation
Garrett Birkhoff and S. A. Kiss. A ternary operation in distributive lattices.Bulletin of the American Mathematical Society, vol. 53 (1947), pp. 749–752.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 1 / March 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. 50-51
- Print publication:
- March 1948
-
- Article
- Export citation
Brand Blanshard. The escape from philosophic futility. Freedom and experience, Essays presented to Horace M. Kallen, edited by Sidney Hook and Milton R. Konvitz, a publication of The New School for Social Research, Cornell University Press, Ithaca and New York1947, pp. 191–204.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 1 / March 1948
- Published online by Cambridge University Press:
- 12 March 2014, p. 55
- Print publication:
- March 1948
-
- Article
- Export citation
Thoralf Skolem. The development of recursive arithmetic. Dixième Congrès des Mathématiciens Scandinaves, Copenhagen1946, 16 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 1 / March 1948
- Published online by Cambridge University Press:
- 12 March 2014, p. 54
- Print publication:
- March 1948
-
- Article
- Export citation
Clarence Irving Lewis. An analysis of knowledge and valuation. The Paul Carus lectures, seventh series, 1945. The Open Court Publishing Company, La Salle, Ill., 1946, xxi + 567 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 1 / March 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. 40-45
- Print publication:
- March 1948
-
- Article
- Export citation
Models of logical systems
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 1 / March 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. 16-30
- Print publication:
- March 1948
-
- Article
- Export citation
A. Markov. Névozmožnost‚ nékotoryh algorifmov v léorii associativnyh sistém (Impossibility of certain algorithms in the theory of associative systems). Doklady Akadémii Nauk SSSR, vol. 58 (1947), pp. 353–356.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 1 / March 1948
- Published online by Cambridge University Press:
- 12 March 2014, p. 53
- Print publication:
- March 1948
-
- Article
- Export citation
A. Markov. O nékotoryh nérazréšimyh problémah kasaúščihsá matric (On some unsolvable problems concerning matrices). Doklady Akadémii Nauk SSSR, vol. 57 (1947), pp. 539–542.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 1 / March 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. 53-54
- Print publication:
- March 1948
-
- Article
- Export citation
Lillian R. Lieber. Mits, Wits and logic. Drawings by Hugh Gray Lieber. W. W. Norton & Company, Inc., New York1947, 240 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 1 / March 1948
- Published online by Cambridge University Press:
- 12 March 2014, p. 55
- Print publication:
- March 1948
-
- Article
- Export citation
Erik Götlind. Ett axiomsystem för ulsagokalkylen (An axiom system for the prepositional calculus). Norsk matematisk tidsskrift, vol. 29 (1947), pp. 1–4.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 1 / March 1948
- Published online by Cambridge University Press:
- 12 March 2014, p. 52
- Print publication:
- March 1948
-
- Article
- Export citation
Andrzej Mostowski. Axiom of choice for finite sets. Fundamenta mathematicae, vol. 33 (1945), pp. 137–168.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 1 / March 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. 45-46
- Print publication:
- March 1948
-
- Article
- Export citation
Tenth Meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 1 / March 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. 61-64
- Print publication:
- March 1948
-
- Article
- Export citation
J. A. Passmore. Critical notice of Cohen's. A preface to logic, vol. 25 (1947), pp. 104–113.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 1 / March 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. 58-60
- Print publication:
- March 1948
-
- Article
- Export citation
Andrzej Mostowski. Axiom of choice for finite sets. Fundamenta mathematicae, vol. 33 (1945), pp. 137–168.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 1 / March 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. 46-48
- Print publication:
- March 1948
-
- Article
- Export citation
Erik Götlind. Om nágra ekvivalenssatser i tvavärdelogiken (On some equivalence propositions in two-valued logic). Norsk matematisk tidsskrift, vol. 28 (1946), pp. 71–75.
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 1 / March 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. 51-52
- Print publication:
- March 1948
-
- Article
- Export citation
JSL volume 13 issue 1 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 13 / Issue 1 / March 1948
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- March 1948
-
- Article
-
- You have access
- Export citation