13629 results in The Journal of Symbolic Logic
Simplified foundations for mathematical logic1
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 123-139
- Print publication:
- June 1955
-
- Article
- Export citation
Sadeo Shiraishi. The structure of the continuity of psychological experiences and the physical world. The science of thought (Tokyo), no. 1 (1954), pp. 12–24.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 169-170
- Print publication:
- June 1955
-
- Article
- Export citation
Ú. V. Linnik and N. A. Šanin. Andréj Andréévič Markov. (K pátidésátilétiú so dná roždéniá.)Uspéhi matématičéskih nauk, vol. 9 no. 1 (1954), pp. 145–149 (with portrait opp. p. 145).
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 73
- Print publication:
- March 1955
-
- Article
- Export citation
Correction to a paper on modal logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 150
- Print publication:
- June 1955
-
- Article
- Export citation
On the consistency of an axiom of enumerability
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 29-30
- Print publication:
- March 1955
-
- Article
- Export citation
John Myhill. A finitary metalanguage for extended basic logic. The journal of symbolic logic, vol. 17 (1952), pp. 164–178.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 81
- Print publication:
- March 1955
-
- Article
- Export citation
Heinrich Guggenheimer. Ueber ein bemerkenswertes logisches System aus der Antike. Methodos, vol. 3 (1951), pp. 150–164.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 186-187
- Print publication:
- June 1955
-
- Article
- Export citation
Formal development of ordinal number theory1
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 95-104
- Print publication:
- June 1955
-
- Article
- Export citation
John R. Myhill. Symposium: On the ontological significance of the Löwenheim-Skolem theorem. Academic freedom, logic, and religion (American Philosophical Association, Eastern Division, Volume 2), University of Pennsylvania Press, Philadelphia1953, pp. 57–70.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 64
- Print publication:
- March 1955
-
- Article
- Export citation
K. Jaakko J. Hintikka. Distributive normal forms in the calculus of predicates. Acta philosophica fennica, no. 6. Helsinki1953, 71 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 164
- Print publication:
- June 1955
-
- Article
- Export citation
John G. Kemeny and Paul Oppenheim. Degree of factual support. Philosophy of science, vol. 19 (1952), pp. 307–324.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 190
- Print publication:
- June 1955
-
- Article
- Export citation
D. E. Muller. Application of Boolean algebra to switching circuit design and to error detection. Transactions of the Institute of Radio Engineers Professional Group on Electronic Computers, vol. EC-3 (1954), pp. 6–12.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 195
- Print publication:
- June 1955
-
- Article
- Export citation
John Myhill. The hypothesis that all classes are nameable. Proceedings of the National Academy of Sciences of the United States of America, vol. 38 (1952), pp. 979–981.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 80
- Print publication:
- March 1955
-
- Article
- Export citation
On the paradox of grounded classes
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 140
- Print publication:
- June 1955
-
- Article
- Export citation
M. Karnaugh. The map method for synthesis of combinational logic circuits. Transactions of the American Institute of Electrical Engineers, vol. 72 part I (1953), pp. 593–598.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 197
- Print publication:
- June 1955
-
- Article
- Export citation
S. V. Áblonskij. O funkcional′noj polnoté v tréhznačnom isčislénii (On functional completeness in the three-valued calculus). Doklady Akadémii Nauk SSSR, vol. 95 (1954), pp. 1153–1155.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 175
- Print publication:
- June 1955
-
- Article
- Export citation
Stephen Toulmin. What kind of discipline is logic?Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 7–11.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 54-55
- Print publication:
- March 1955
-
- Article
- Export citation
D. A. Huffman. The synthesis of sequential switching circuits. Journal of the Franklin Institute, vol. 257 (1954), pp. 161–190, 275–303.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 69-70
- Print publication:
- March 1955
-
- Article
- Export citation
Paul Bernays, E. W. Beth, L. E. J. Brouwer, Jean-Louis Destouches, R. Feys. Discussion générale. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, pp. 73–74.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 186
- Print publication:
- June 1955
-
- Article
- Export citation
José Ferrater Mora. De Boecio a Alberto de Sajonia: Un fragmento de historia de la lógica. Imago mundi (Buenos Aires), Bd. 1 Heft 3 (1954), S. 3–22.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 83
- Print publication:
- March 1955
-
- Article
- Export citation