13629 results in The Journal of Symbolic Logic
The axiomatization of arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 2 / June 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 145-158
- Print publication:
- June 1957
-
- Article
- Export citation
A. A. Mučnik. Nérazréšimost′ problémy svodimosti téorii algoritmov (Negative answer to the problem of reducibility of the theory of algorithms). Doklady Akadéimii Nauk SSSR, vol. 108 (1956), pp. 194–197.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 2 / June 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 218-219
- Print publication:
- June 1957
-
- Article
- Export citation
Paul Bernays. Mathematische Existenz und Widerspruchsfreiheit. Études de philosophie des sciences, en hommage à F. Gonseth à l'occasion de son soix-antième anniversaire, Éditions du Griffon, Neuchâtel1950, pp. 11–25.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 2 / June 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 210-211
- Print publication:
- June 1957
-
- Article
- Export citation
A theory of restricted quantification II
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 2 / June 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 113-129
- Print publication:
- June 1957
-
- Article
- Export citation
V. A. Uspénskij. Sistémy péréčislimyh množéstv i ih numéracii (Systems of enumerable sets and their enumerations). Doklady Akadéimii Nauk SSSR, vol. 105 (1955), pp. 1155–1158.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 2 / June 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 220
- Print publication:
- June 1957
-
- Article
- Export citation
Israel Scheffler. On synonymy and indirect discourse. Philosophy of science, vol. 22 (1955), pp. 39–44.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 2 / June 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 208
- Print publication:
- June 1957
-
- Article
- Export citation
G. S. Céjtin. Otnositél′ǹo no problémy raspoznavaniá svojstv associativnyh isčislénij (Concerning the problem of recognizing properties of associative calculi). Doklady Akadéimii Nauk SSSR, vol. 107 (1956), pp. 209–212.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 2 / June 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 219-220
- Print publication:
- June 1957
-
- Article
- Export citation
Abraham A. Fraenkel. L'axiome du choix. Revue philosophique de Louvain, vol. 50 (1952), pp. 429–459.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 2 / June 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 214-215
- Print publication:
- June 1957
-
- Article
- Export citation
Sören Halldén. Emotive propositions. A study of value. Almqvist & Wiksell, Stockholm1954, 232 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 2 / June 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 209-210
- Print publication:
- June 1957
-
- Article
- Export citation
K. Jaakko Hintikka. An application of logic to algebra. Mathematica scandinavica, vol. 2 (1954), pp. 243–246.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 2 / June 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 216-217
- Print publication:
- June 1957
-
- Article
- Export citation
D. W. Hamlyn. Analytic truths. Mind, n.s. vol. 65 (1956), pp. 359–367.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 2 / June 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 210
- Print publication:
- June 1957
-
- Article
- Export citation
Nicholas Rescher. Axioms for the part relation. Philosophical studies (Minneapolis), vol. 6 (1955), pp. 8–11.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 2 / June 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 213-214
- Print publication:
- June 1957
-
- Article
- Export citation
V. I. Šéstakov. Algébraičéskij métod sintéza mnogotaktnyh réléjnyh sistém (An algebraic method for the synthesis of switching circuits). Doklady Akadéimii Nauk SSSR, vol. 99 (1954), pp. 987–990.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 2 / June 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 221
- Print publication:
- June 1957
-
- Article
- Export citation
S. Körner. Individuals and properties. Mind, n.s. vol. 63 (1954), pp. 380–383.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 2 / June 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 208-209
- Print publication:
- June 1957
-
- Article
- Export citation
New foundations for Lewis modal systems1
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 2 / June 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 176-186
- Print publication:
- June 1957
-
- Article
- Export citation
Uniformization of linear arrays
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 2 / June 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 130-140
- Print publication:
- June 1957
-
- Article
- Export citation
Klaus Härtig. Über die Struktur der klassischen Syllogistik. Wissenschaftliche Zeitschrift der Martin-Luther-Universität Halle-Wittenberg, vol. 2 (1952–1953), pp. 165–189.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 95-96
- Print publication:
- March 1957
-
- Article
- Export citation
Hermann Weyl. Über die neue Grundlagenkrise der Mathematik. A reprint of 1924. Selecta Hermann Weyl, Birkhäuser Verlag, Basel and Stuttgart1956, pp. 211–247. - Hermann Weyl. Nachtrag Juni 1955. A reprint of 1924. Selecta Hermann Weyl, Birkhäuser Verlag, Basel and Stuttgart1956, pp. 247–248.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 81-82
- Print publication:
- March 1957
-
- Article
- Export citation
E. Roxon. A note on some misunderstandings of Aristotelian logic. Australasian journal of philosophy, vol. 33 (1955), pp. 107–111.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 94
- Print publication:
- March 1957
-
- Article
- Export citation
A. N. Prior. Curry's paradox and 3-valued logic. Australasian journal of philosophy, vol. 33 (1955), pp. 177–182.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 90-91
- Print publication:
- March 1957
-
- Article
- Export citation