13629 results in The Journal of Symbolic Logic
E. C. Nelson. An algebraic theory for use in computer design. Transactions of the Institute of Radio Engineers Professional Group on Electronic Computers, vol. EC-3 (1954), pp. 12–21.
-
- 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
Claude E. Shannon. The synthesis of two-terminal switching circuits. The Bell System technical journal, vol. 28 (1949), pp. 59–98.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 69
- Print publication:
- March 1955
-
- Article
- Export citation
Shozo Ômori. Naihó ronrigaku no keiskikika (Formalization of an intensional logic). The proceedings of the Department of Humanities, College of General Education, University of Tokyo, series of philosophy, vol. 3 no. 1 (1953), pp. 129–149.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 173
- Print publication:
- June 1955
-
- Article
- Export citation
Bruno Baron von Freytag Löringhoff. Zur Logik als Lehre von Identität und Verschiedenheit. 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. 19–24.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 55
- Print publication:
- March 1955
-
- Article
- Export citation
J. J. Callahan. Symbolism in mathematics and 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. 166–171.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 56
- Print publication:
- March 1955
-
- Article
- Export citation
Antoni Korcik. Przyczynek do historii rachunku zdań (A contribution to the history of prepositional calculus). Polish, with brief abstracts in Russian and in English. Studio logica (Warsaw), vol. 1 (1953), pp. 247–253.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 172
- Print publication:
- June 1955
-
- Article
- Export citation
Notice of a meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 89
- Print publication:
- March 1955
-
- Article
- Export citation
G. A. Montgomerie. Sketch for an algebra of relay and contactor circuits. Journal of the Institute of Electrical Engineers, vol. 95 (1948), pp. 303–312.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 68-69
- Print publication:
- March 1955
-
- Article
- Export citation
A. S. Ésénin-Vol′pin. Nédokazuémost′ gipotézy Suslina bez pomošči aksiomy vybora v sistémé aksiom Bérnajsa-Mostovskogo (The unprovability of Suslin's hypothesis without the aid of the axiom of choice in the system of axioms of Bernays-Mostowski). Doklady Akadémii Nauk SSSR, vol. 96 (1954), pp. 9–12.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 181-182
- Print publication:
- June 1955
-
- Article
- Export citation
H. G. Rice. Recursive real numbers. Proceedings of the American Mathematical Society, vol. 5 (1954), pp. 784–791.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 177
- Print publication:
- June 1955
-
- Article
- Export citation
Simplest normal truth functions
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 105-108
- Print publication:
- June 1955
-
- Article
- Export citation
H. S. Caldwell. The recognition and identification of symmetric switching functions. Transactions of the American Institute of Electrical Engineers, vol. 73 part I (1954), pp. 142–146. - C. Y. Lee. Switching functions on an n-dimensional cube. Transactions of the American Institute of Electrical Engineers, vol. 73 part I (1954), pp. 289–291.
-
- 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
Ernest A. Moody. Truth and consequence in mediaeval logic. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1953, VIII + 113 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 44-45
- Print publication:
- March 1955
-
- Article
- Export citation
Victor Kraft. The Vienna Circle. The origin of neo-positivism. A chapter in the history of recent philosophy. English translation of XVII 62(1) by Arthur Pap. Philosophical Library, New York1953, xii + 209 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 62-63
- Print publication:
- March 1955
-
- Article
- Export citation
George D. W. Berry. 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. 39–55.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 63
- Print publication:
- March 1955
-
- Article
- Export citation
Horacio Schindler. Filosofia y lógica simbólica. Actas del Primer Congreso Nacional de Filosofia, Mendoza, Argentina, Marzo 30-Abril 9, 1949, Mendoza and Buenos Aires1950, pp. 1233–1236.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 192
- Print publication:
- June 1955
-
- Article
- Export citation
Yuting Shen. Paradox of the class of all grounded classes. The journal of symbolic logic, vol. 18 (1953), p. 114. - Robert L. Stanley. Note on a paradox. The journal of symbolic logic, vol. 18 (1953), p. 233.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 84
- Print publication:
- March 1955
-
- Article
- Export citation
Frederic B. Fitch. A simplification of basic logic. The journal of symbolic logic, vol. 18 (1953), pp. 317–325. - Frederic B. Fitch. A definition of negation in extended basic logic. The journal of symbolic logic, vol. 19 (1954), pp. 29–36. See Errata, ibid., p. vi.
-
- 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
J. C. E. Dekker. Two notes on recursively enumerable sets. Proceedings of the American Mathematical Society, vol. 4 (1953), pp. 495–501.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 73-74
- Print publication:
- March 1955
-
- Article
- Export citation
László Kalmár. Az eldöntesprobléma visszavezetése logikai formulák véges halmazon való kielégithetőségének kérdésére (Reduction of the decision problem to the satisfiability question of logical formulae on a finite set). Ungarisch mit russischem Auszug und englischem Auszug. Az Első Magyar Matematikai Kongresszus közleményei 1950. augusztus 27. - szeptember 2. — Comptes rendus du Premier Congrès des Mathématiciens Hongrois 27 août - 2 septembre 1950, publié avec le soutien de l'Académie des Sciences de Hongrie par la Société Mathématique János Bolyai, Budapest1952, S. 163–190.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 72
- Print publication:
- March 1955
-
- Article
- Export citation