13629 results in The Journal of Symbolic Logic
Generalization of a lemma of G. F. Rose*
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 137-138
- Print publication:
- June 1958
-
- Article
- Export citation
Paul Lorenzen. Zur Interpretation der Syllogistik. Archiv für mathematische Logik und Grundlagenforschung, Bd. 2, Heft 2–4 (1956), S. 100–103; auch Archiv für Philosophie, Bd. 5, Heft 4 (1956), S. 420–423.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 229-230
- Print publication:
- June 1958
-
- Article
- Export citation
William Kneale. The province of logic. Mind, n.s. vol. 66 (1957), p. 258. Corrections to the preceding. - Hugues Leblanc. An introduction to deductive logic. John Wiley & Sons, New York1955, and Chapman and Hall, London 1955, xii + 244 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 210-212
- Print publication:
- June 1958
-
- Article
- Export citation
S. M. Ákovlév. Téoriá struktur kombinatornyh méhanizmov (Theory of the structure of combinatorial mechanisms). Avtomatika i téléméhanika, vol. 19 (1958), pp. 221–227.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 235
- Print publication:
- June 1958
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 237-240
- Print publication:
- June 1958
-
- Article
- Export citation
G. Kreisel and H. Putnam. Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkül. Archiv für mathematische Logik und Grundlagenforschung, vol. 3 (1957), pp. 74–78.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 229
- Print publication:
- June 1958
-
- Article
- Export citation
Paul R. Halmos. Polyadic Boolean algebras. Proceedings of the National Academy of Sciences of the United States of America, vol. 40 (1954), pp. 296–301.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 223
- Print publication:
- June 1958
-
- Article
- Export citation
V. A. Uspénskij. Ob algoritmičéskoj svodimosti (On algorithmic reducibility). Trudy Trétégo Vsésoúznogo Matématičéskogo Sézda, Moskva, iún′−iúl′ 1956, vol. 2, Izdatél′stvo Akadémii Nauk SSSR, Moscow1956, pp. 66–69.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 225
- Print publication:
- June 1958
-
- Article
- Export citation
V. N. Roginskij. Učét néispol′zuémyh sostoánij pri sintézé réléjno-kontaktnyh shém (Calculation of the unutilized states in the synthesis of switching circuits). Avtomatika i téléméhanika, vol. 15 (1954), pp. 206–222.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 233
- Print publication:
- June 1958
-
- Article
- Export citation
Daniel Lacombe. Sur le semi-réseau constitué par les degrés d'indécidabilité récursive. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 239 (1954), pp. 1108–1109.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 226
- Print publication:
- June 1958
-
- Article
- Export citation
A. A. Mučnik. Ob otdélimosti rékursivno-péréčislimyh množestv (On separability of recursively enumerable sets). Doklady Akadémii Nauk SSSR, vol. 109 (1956), pp. 29–32.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 224-225
- Print publication:
- June 1958
-
- Article
- Export citation
Peirce's axioms for propositional calculus
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 135-136
- Print publication:
- June 1958
-
- Article
- Export citation
Wacław Sierpiński. Hypothèse du continu. Second edition. Chelsea Publishing Company, New York1956, XVII + 274 pp. - Wacław Sierpiński. L'hypothèse généralisée du continu et l'axiome du choix. A reprint of XIII 176(9). Therein, pp. 193–197.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 215
- Print publication:
- June 1958
-
- Article
- Export citation
Überprüfung einer frühen Anwendung der Kombinatorik in der Logik
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 129-132
- Print publication:
- June 1958
-
- Article
- Export citation
G. N. Povarov. Matričnyé métody analiza réléjno-kontaktnyh shim po usloviám nésrabatyvaniá (Matrix methods of analysis of relay circuits with resistance conditions). Avtomatika i téléméhanika, vol. 15 (1954), pp. 332–335.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 233-234
- Print publication:
- June 1958
-
- Article
- Export citation
Reductions of Hilbert's tenth problem
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 183-187
- Print publication:
- June 1958
-
- Article
- Export citation
W. V. Quine. Logic, symbolic. Preprinted from Encyclopedia Americana, 1957 edition, preprint pp. 569–574.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 207-209
- Print publication:
- June 1958
-
- Article
- Export citation
Simplified axioms for many-valued quantification theory1
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 139-148
- Print publication:
- June 1958
-
- Article
- Export citation
H. Wendelin. Ein Kriterium für die Erweiterbarkeit einer Implikation zu einer Aquivalenz. Österreichische Akademie der Wissenschqften, Anzeiger, Mathematisch-naturwissenschaftliche Klasse, vol. 85 (1948), pp. 66–69.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 215
- Print publication:
- June 1958
-
- Article
- Export citation
Alan H. Gardiner. The theory of proper names. A controversial essay. First edition, Oxford University Press, London1940, 67 pp. Second edition, Oxford University Press, London, New York, and Toronto 1954, viii + 76 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 212
- Print publication:
- June 1958
-
- Article
- Export citation