13629 results in The Journal of Symbolic Logic
Venn-type diagrams for arguments of n terms
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 113-118
- Print publication:
- June 1965
-
- Article
- Export citation
Comments on a variant form of natural deduction
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 119-121
- Print publication:
- June 1965
-
- Article
- Export citation
Ferruccio Rossi-Landi. Universo del discorso e lingua ideale in filosofia. Il pensiero americano contemporaneo, Filosofia, Epistemologia, Logica, edited by Ferruccio Rossi-Landi, Edizioni di Comunità, Milan1958, pp. 131–182.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 238-239
- Print publication:
- June 1965
-
- Article
- Export citation
John A. Carpenter, Omar K. Moore, Charles R. Snyder, and Edith S. Lisansky. Alcohol and higher-order problem solving. Quarterly journal of studies on alcohol (New Haven), vol. 22 (1961), pp. 183–222.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 243
- Print publication:
- June 1965
-
- Article
- Export citation
Functionals defined by transfinite recursion
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 155-174
- Print publication:
- June 1965
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 256-259
- Print publication:
- June 1965
-
- Article
- Export citation
Uberto Scarpelli. I fondamenti e il metodo della analisi del linguaggio. Il pensiero americano contemporaneo, Filosofia, Epistemologia, Logica, edited by Ferruccio Rossi-Landi, Edizioni di Comunità, Milan1958, pp. 183–204.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 239
- Print publication:
- June 1965
-
- Article
- Export citation
A. Cobham, R. Fridshal, and J. H. North. An application of linear programming to the minimization of Boolean functions. Switching circuit theory and logical design, Proceedings of the Second Annual Symposium, Detroit, Mich., October 17-20, 1961, and Papers from the First Annual Symposium, Chicago, Ill., October 9-14, 1960, American Institute of Electrical Engineers, New York1961, pp. 3–9.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 247
- Print publication:
- June 1965
-
- Article
- Export citation
Ward Waddell Jr. Structure of laws as represented by symbolic methods. Published by the author, 495 Fernando St., San Diego, California, 1961, 99 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 242-243
- Print publication:
- June 1965
-
- Article
- Export citation
Interpretations of Kleene's metamathematical predicate Γ ∣ a in intuitionistic arithmetic1
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 140-154
- Print publication:
- June 1965
-
- Article
- Export citation
Arthur W. Burks and Hao Wang. The logic of automata. Journal of the Association for Computing Machinery, vol. 4 (1957), pp. 193–218, 279–297. Reprinted in A survey of mathematical logic, by Hao Wang, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 175–223.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 249
- Print publication:
- June 1965
-
- Article
- Export citation
V. F. Kostyrko. Ob ošibké v stat'é I. I. Žégalkina, “Probléma razréšimosti na konéčnyh klassah” (On a mistake in the paper of Žégalkin “On the decision problem in finite classes”). Algébra i logika, Séminar (Novosibirsk), vol. 1 no. 5 (1962), pp. 31–36.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 254
- Print publication:
- June 1965
-
- Article
- Export citation
Hansi Piesch. Begriff der allgemeinen Schaltungstechnik. Archiv für Elektrotechnik, vol. 33 (1939), pp. 672–686. - Hansi Piesch. Über die Vereinfachung von allgemeinen Schaltungen. Archiv für Elektrotechnik, vol. 33 (1939), pp. 733–746.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 247-248
- Print publication:
- June 1965
-
- Article
- Export citation
Hao Wang. Toward mechanical mathematics. IBM journal of research and development, vol. 4 (1960), pp. 2–22. Reprinted IBM journal of research and development, vol. 4 (1960), pp. 224–268.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 249
- Print publication:
- June 1965
-
- Article
- Export citation
G. S. Céjtin. Associativnoé isčslénié s nérazréšimoj problémoj ekvivaléntnosti (Associative calculus with unsolvable equivalence problem). Problémy konstruktivnogo napravléniá v matématiké, 1, Sbornik rabot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 52, Izdatél'stvo Akadémii Nauk SSSR, Moscow and Leningrad1958, pp. 172–189.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 254-255
- Print publication:
- June 1965
-
- Article
- Export citation
E. N. Gilbert. N-terminal switching circuits. The Bell System technical journal, vol. 30 (1951), pp. 668–688.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 248
- Print publication:
- June 1965
-
- Article
- Export citation
Jean W. Butler. On complete and independent sets of truth functions in multi-valued logics. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 78–80. - Jean W. Butler. On complete and independent sets of operations in finite algebras. Pacific journal of mathematics, vol. 10 (1960), pp. 1169–1179.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 246
- Print publication:
- June 1965
-
- Article
- Export citation
Limit ultraproducts
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 212-234
- Print publication:
- June 1965
-
- Article
- Export citation
Jan Łukasiewicz. Elements of mathematical logic. English translation of 1866 by Olgierd Wojtasiewicz. The Macmillan Company, New York1964, xi + 124 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 237
- Print publication:
- June 1965
-
- Article
- Export citation
Hao Wang. Process and existence in mathematics. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem1961, and North-Holland Publishing Company, Amsterdam 1962, pp. 328–351.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 244
- Print publication:
- June 1965
-
- Article
- Export citation