13629 results in The Journal of Symbolic Logic
Henri Soubies-Camy. L'algèbre logique appliquée aux techniques binaires. Automatisme (Paris), vol. 3 (1958), pp. 266–272, 303–310, 338–345, 385–393, 423–429.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 190
- Print publication:
- June 1960
-
- Article
- Export citation
Paul R. Halmos. Predicates, terms, operations, and equality in polyadic Boolean algebras. Proceedings of the National Academy of Sciences of the United States of America, t. 42 (1956), p. 130–136.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 168
- Print publication:
- June 1960
-
- Article
- Export citation
I. L. Gál, J. B. Rosser, and D. Scott. Generalization of a lemma of G. F. Rose. The journal of symbolic logic, vol. 23 no. 2 (for 1958, pub. 1959), pp. 137–138.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 179
- Print publication:
- June 1960
-
- Article
- Export citation
Stafford Beer. Operational research and cybernetics. Ier Congrès International de Cybernétique, Namur, 26–29 Juin 1956, Actes, Gauthier-Villars, Paris, and Association Internationale de Cybernétique, Namur, 1958, pp. 29–45.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 162
- Print publication:
- June 1960
-
- Article
- Export citation
J. R. Shoenfield. Quasicreative sets. Proceedings of the American Mathematical Society, vol. 8 (1957), pp. 964–967.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 166
- Print publication:
- June 1960
-
- Article
- Export citation
Moh Shaw-Kwei. Yow-hsian-zhe fang-zhen hsi-t'ung ti kung-li-hua (Axiomatization of many-valued logical systems). Nan-king Ta-hsüeh hsüeh-pao tse-jan k'o-hsüeh pan vol. 1 no. 3, pp. 791–800 (pp. 67–76).
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 181-182
- Print publication:
- June 1960
-
- Article
- Export citation
B. D. Rudin. A theorem on SPDT switching circuits. Proceedings of the 1955 Western Joint Computer Conference, Institute of Radio Engineers, New York1955, pp. 129–132.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 191-192
- Print publication:
- June 1960
-
- Article
- Export citation
Ronald Harrop. The finite model property and subsystems of classical propositional calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 29–32.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 181
- Print publication:
- June 1960
-
- Article
- Export citation
V. F. D'áčénko. Ob odnom sposobé analiza složnyh réléjno-kontaktnyh shém (On analysis of complicated switching circuits). Avtomatika i téléméhanika, vol. 20 (1959), pp. 1417–1425.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 190
- Print publication:
- June 1960
-
- Article
- Export citation
Gustav Bergmann. The representations of S5. The. journal of symbolic logic, vol. 21 (1956), pp. 257–260.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 184
- Print publication:
- June 1960
-
- Article
- Export citation
Theodore Hailperin. A theory of restricted quantification. The journal of symbolic logic, vol. 22 (1957), pp. 19–35, 113–129.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 175-176
- Print publication:
- June 1960
-
- Article
- Export citation
François Paycha. Épistemologie et mécanisation du diagnostic et de la thérapeutique, La logique ternaire. Ier Congrès International de Cybernétique, Namur, 26–29 Juin 1956, Actes, Gauthier-Villars, Paris, and Association Internationale de Cybernétique, Namur, 1958, pp. 806–820.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 163
- Print publication:
- June 1960
-
- Article
- Export citation
Gisbert Hasenjaeger. Zur Axiomatisierung der k-zahlig allgemeingültigen Ausdrücke des Stufenkalküls. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 (1958), pp. 175–177.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 176-177
- Print publication:
- June 1960
-
- Article
- Export citation
Setsuya Seki. Symposium hôkokusyû (Report of a symposium). Kisoron Bunkakai Nihon Sûgakukai, Tokyo1959, 47 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 160-161
- Print publication:
- June 1960
-
- Article
- Export citation
Moh Shaw-Kwei. Yuan-shih ti-k'wei han-shu ti ting-yi (On the definition of primitive recursive functions). Acta mathematica Sinica, vol. 5 (1955), pp. 109–115.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 182
- Print publication:
- June 1960
-
- Article
- Export citation
A generalization of Gödel's notion of constructibility1
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 147-155
- Print publication:
- June 1960
-
- Article
- Export citation
Elliott Mendelson. The axiom of Fundierung and the axiom of choice. Archiv für mathematische Logik und Grundlagenforschung, vol. 4 (1958), pp. 65–70.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 178-179
- Print publication:
- June 1960
-
- Article
- Export citation
Reviews - Alfred Tarski. Ordinal algebras. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1956, V + 133 pp. - Chen-Chung Chang. Appendix A. Some additional theorems on ordinal algebras. Therein, pp. 85–98. - Bjarni Jónsson. Appendix B. A unique decomposition theorem for relational addition. Therein, pp. 99–123.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 156-158
- Print publication:
- June 1960
-
- Article
- Export citation
Ichizo Ninomiya. A theory of the coordinate representation of switching functions. Memoirs of the Faculty of Engineering, Nagoya University, vol. 10 (1958), pp. 175–190.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 187
- Print publication:
- June 1960
-
- Article
- Export citation
A. Lévy. The independence of various definitions of finiteness. Fundamenta mathematicae, vol. 46 (1958), pp. 1–13.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 179
- Print publication:
- June 1960
-
- Article
- Export citation