13629 results in The Journal of Symbolic Logic
Hao Wang. On denumerable bases of formal systems. Mathematical interpretation of formal systems. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1955, pp. 57–84.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 292-293
- Print publication:
- September 1957
-
- Article
- Export citation
A. Š. Bloh. Sintéz kontaktnyh (p, q)-polúsnikov (Synthesis of (p, q) contact networks). Doklady Akadémii Nauk SSSR, vol. 111 (1956), pp. 1017–1019.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 333-334
- Print publication:
- September 1957
-
- Article
- Export citation
Robert Blanché. Quantity, modality, and other kindred systems of categories. Mind, n.s. vol. 61 (1952), pp. 369–375.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 325-326
- Print publication:
- September 1957
-
- Article
- Export citation
G. N. Povarov. K izučéniú simmétričéskih Bulévyh funkcij s točki zréniá téorii réléjno-kontaktnyh shém (Concerning the study of symmetric Boolean functions from the point of view of the theory of relay-contact circuits). Doklady Akadémii Nauk SSSR, vol. 104 (1955), pp. 183–185.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 99
- Print publication:
- March 1957
-
- Article
- Export citation
Irving M. Copi. Another variant of natural deduction. The journal of symbolic logic, vol. 21 (1956), pp. 52–55.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 298-299
- Print publication:
- September 1957
-
- Article
- Export citation
J. Myhill and J. C. Shepherdson. Effective operations on partial recursive functions. Zeitschrift für mathematische Logik und Grundlagen der Mathetnatik, vol. 1 (1955), pp. 310–317.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 303
- Print publication:
- September 1957
-
- Article
- Export citation
H. Gericke. Algebraische Betrachtungen zu den Aristotelischen Syllogismen. Archiv der Mathematik (Basel und Stuttgart), Bd. 3, Heft 6 (für 1952, erschienen 1953), S. 421–433.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 308-309
- Print publication:
- September 1957
-
- Article
- Export citation
George H. Mealy. A method for synthesizing sequential circuits. The Bell System technical journal, vol. 34 (1955), pp. 1045–1079.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 334-335
- Print publication:
- September 1957
-
- Article
- Export citation
Y. Bar-Hillel. Mr. Geach on rigour in semantics. Mind, n.s. vol. 61 (1952), pp. 261–264.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 314
- Print publication:
- September 1957
-
- Article
- Export citation
V. I. Šéstakov. Algébraičéskij métod sintéza mnogotaktnyh sistém r-pozicionnyh rélé (An algebraic method for the synthesis of r-positional switching circuits). Doklady Akadémii Nauk SSSR, vol. 112 (1957), pp. 62–65.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 333
- Print publication:
- September 1957
-
- Article
- Export citation
Rózsa Péter. Rekurzív definiciók, melyek változó számu korábbi függvényertéket használnak fel. Matematikai lapok (Budapest), vol. 5 (1954), pp. 7–9. An abstract of XX 176(1). - Rózsa Péter. Ujabb bizonyítás arra, hogy a Csillag-Kalmár-féle elemi függvények osztálya szükebb, mint a primitiv-rekurzív függvényeké. Matematikai lapok (Budapest), vol. 5 (1954), pp. 244–252. Hungarian version of XX 282(2). - Rózsa Péter. Kalmár László matematikai munkássága (Die mathematische Tätigkeit von László Kalmár). Ebd., Bd. 6 (1955), S. 138–150.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 295-296
- Print publication:
- September 1957
-
- Article
- Export citation
William H. Dray. Professor Ryle on arguments and inference licenses. Mind, n.s. vol. 63 (1954), pp. 384–387. - Romane Clark. Natural inference. Mind, n.s., vol. 65 (1956), pp. 455–472.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 321
- Print publication:
- September 1957
-
- Article
- Export citation
A. V. Kuznécov and B. A. Trahténbrot. Isslédovanié častično-rékursivnyh opératorov srédstvami téorii berovskogo prostranstva (An investigation of partial recursive operators by means of the theory of the space of Baire). Doklady Akadémii Nauk SSSR, vol. 105 (1955), pp. 897–900.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 301-302
- Print publication:
- September 1957
-
- Article
- Export citation
Independent axiom schemata for von wright's M
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 241-244
- Print publication:
- September 1957
-
- Article
- Export citation
Makoto Itoh. “n-ti kansû soku” (n-ti ronri) ni tuite (On the “lattice of n-valued functions” (n-valued logic)). Kyûsyû Daigaku kôgaku syûhô (Technology reports of the Kyushu University) (Fukuoka), vol. 28 no. 2 (1955), pp. 96–99, 99–101.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 100-101
- Print publication:
- March 1957
-
- Article
- Export citation
Wilhelm Ackermann. Begründung einer strengen Implikation. The journal of symbolic logic, vol. 21 (1956), pp. 113–128.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 327-328
- Print publication:
- September 1957
-
- Article
- Export citation
Gustav Bergmann. Dispositional properties and dispositions. Philosophical studies (Minneapolis), vol. 6 (1955), pp. 77–80.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 322
- Print publication:
- September 1957
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 336
- Print publication:
- September 1957
-
- Article
- Export citation
James Wilkinson Miller. Exercises in introductory symbolic logic. Lithoprinted from typewritten manuscript. Published by the author, McGill University, Montreal; wholesale from Edwards Brothers, Ann Arbor, Michigan; 1955, ix + 59 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 310-311
- Print publication:
- September 1957
-
- Article
- Export citation
Arthur W. Burks and Irving M. Copi. The logical design of an idealized general-purpose computer. Journal of the Franklin Institute, vol. 261 (1956), pp. 299–314, 421–436.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 332
- Print publication:
- September 1957
-
- Article
- Export citation