13629 results in The Journal of Symbolic Logic
JSL volume 22 issue 3 Cover and Front matter and Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f7
- Print publication:
- September 1957
-
- Article
-
- You have access
- Export citation
Vicious circle principle and the paradoxes
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 245-249
- Print publication:
- September 1957
-
- Article
- Export citation
B. E. Meserve. Decision methods for elementary algebra. The American mathematical monthly, vol. 62 (1955), pp. 1–8.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 295
- Print publication:
- September 1957
-
- Article
- Export citation
Hilary Putnam. Reds, greens, and logical analysis. The philosophical review, vol. 65 (1956), pp. 206–217.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 318-319
- Print publication:
- September 1957
-
- Article
- Export citation
Roberto Frucht. Cien axos de álgebra de Boole. Scientia (Valparaiso), vol. 21 (1954), pp. 167–174.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 97
- Print publication:
- March 1957
-
- Article
- Export citation
G. Kreisel. A variant to Hilbert's theory of the foundations of arithmetic. The British journal for the philosophy of science, vol. 4 (1953–1954), pp. 107–129. See Errata and corrigenda, ibid., p 357.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 304-306
- Print publication:
- September 1957
-
- Article
- Export citation
J. Riguet. Quelques applications de la théorie des relations binaires. Applications scientifiques de la logique mathématique, Acte du 2e Colloque International de Logique Mathématique, Paris — 25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, série A, Gauthier-Villars, Paris1954, et E. Nauwelaerts, Louvain 1954, p. 141–144.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 300
- Print publication:
- September 1957
-
- Article
- Export citation
Makoto Itoh. Itigen n-ti kansûsoku (ronri) hôteisiki no ippankai ni tuite (On the general solution of the n-valued function-lattice (logical) equation in one variable). Kyûsyû Daigaku kôgaku syûhô (Technology reports of the Kyushu University) (Fukuoka), vol. 28 no. 4 (1956), pp. 239–243.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 101
- Print publication:
- March 1957
-
- Article
- Export citation
Inference by complementary elimination
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 233-236
- Print publication:
- September 1957
-
- Article
- Export citation
Wolfgang Stegmüller. Das Universalienproblem einst und jetzt. Archiv für Philosophie, vol. 6 (1957), pp. 192–225.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 319-320
- Print publication:
- September 1957
-
- Article
- Export citation
Robert L. Stanley. A theory of subjunctive conditionals. Philosophy and phenomenological research, vol. 17 (1956), pp. 22–35.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 324-325
- Print publication:
- September 1957
-
- Article
- Export citation
Helena Rasiowa. O pewnym fragmencie implikacyjnego rachunku zdań (On a fragment of the implicative propositional calculus). Polnisch, mit Auszügen in Russisch und Englisch. Studia logica, Bd. 3 (1955), S. 208–226.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 330
- Print publication:
- September 1957
-
- Article
- Export citation
Kamenosuke Yasuura. Keidenkikairo ni yoru tatimeidaironri no hyôgen ni tuite (On the representation of many-valued propositional logics by relay circuits). Kyûsyû Daigaku kôgaku syûhô (Technology reports of the Kyushu University) (Fukuoka), vol. 28 no. 2 (1955), pp. 94–96.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 102
- Print publication:
- March 1957
-
- Article
- Export citation
Hao Wang. The formalization of mathematics. The journal of symbolic logic, vol. 19 (1954), pp. 241–266.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 290-292
- Print publication:
- September 1957
-
- Article
- Export citation
W. V. Quine. Unification of universes in set theory. The journal of symbolic logic, vol. 21 (1956), pp. 267–279.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 294-295
- Print publication:
- September 1957
-
- Article
- Export citation
A. P. Ushenko. The principles of causality. The journal of philosophy, vol. 50 (1953), pp. 85–101.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 322-323
- Print publication:
- September 1957
-
- Article
- Export citation
G. N. Povarov. K matématičéskoj téorii sintéza kontaktnyh (1, k)-polúsnikov (A contribution to the mathematical theory of (1, k) contact networks). Doklady Akadémii Nauk SSSR, vol. 111 (1956), pp. 102–104.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 334
- Print publication:
- September 1957
-
- Article
- Export citation
Allen Newell and Herbert A. Simon. The logic theory machine. A complex information processing system. Institute of Radio Engineers, Transactions on information theory, vol. IT-2 no. 3 (1956), pp. 61–79.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 331-332
- Print publication:
- September 1957
-
- Article
- Export citation
Heinrich Behmann. Die typenfreie Logik und die Modalität. Actes du XIème Congrès International de Philosophie, Volume XIV, Volume comptémentalre et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 88–96.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 326
- Print publication:
- September 1957
-
- Article
- Export citation
John Myhill. Arithmetic with creative definitions by induction. The journal of symbolic logic, vol. 18 (1953), pp. 115–118.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 303-304
- Print publication:
- September 1957
-
- Article
- Export citation