13629 results in The Journal of Symbolic Logic
V. D. Urin. Uproščénnyj métod sintéza shém s šagovymi péréklúčatélámi (Simplified method of synthesis of circuits with stepping switches). Avtomatika i téléméhanika, vol. 23 (1962), pp. 52–56.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 1 / March 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 51
- Print publication:
- March 1964
-
- Article
- Export citation
Some results for implicational calculi
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 1 / March 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 33-39
- Print publication:
- March 1964
-
- Article
- Export citation
I. B. Pyne and E. J. McCluskeyJr., An essay on prime implicant tables. Journal of the Society for Industrial and Applied Mathematics, vol. 9 (1961), pp. 604–631.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 1 / March 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 52-53
- Print publication:
- March 1964
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 1 / March 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 66-68
- Print publication:
- March 1964
-
- Article
- Export citation
G. Hasenjaeger. Formales und produktives Schlieβen. Mathematisch-physikalische Setnesterberichte (Göttingen), vol. 6 no. 1/2 (1958), pp. 184–194.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 1 / March 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 59
- Print publication:
- March 1964
-
- Article
- Export citation
Layman E. Allen. Propositional calculi. MULL, vol. 59 no. S (1959), pp. 4–14. - Layman E. Allen. Alethic logic. MULL, vol. 59 no. D (for 1959, pub. 1960), pp. 33–42. - Layman E. Allen. Deontic logic. MULL, vol. 60 no. M (1960), pp. 13–27. - Layman E. Allen. Note on simplifying the reiteration rule. MULL, vol. 59 no. D (for 1959, pub. 1960), p. 42. - Layman E. Allen. Note on the use of definitions to justify steps in proofs. MULL, vol. 59 no. D (for 1959, pub. 1960), pp. 42–44.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 1 / March 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 44-46
- Print publication:
- March 1964
-
- Article
- Export citation
O. B. Lupanov. O véntil′nyh i kontaktno-véntil′nyh shémah (On rectifying and rectifying-switching circuits). Doklady Akadémii Nauk SSSR, vol. 111 (1956), pp. 1171–1174.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 1 / March 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 51-52
- Print publication:
- March 1964
-
- Article
- Export citation
Hao Wang. On formalization. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 57–67. A reprint of XXII 292.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 4 / December 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. 288
- Print publication:
- December 1963
-
- Article
- Export citation
Addendum to early history of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 4 / December 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. 279
- Print publication:
- December 1963
-
- Article
- Export citation
Alonzo Church. Application of recursive arithmetic to the problem of circuit synthesisSummaries 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. 3–50. 3a-45a.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 4 / December 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 289-290
- Print publication:
- December 1963
-
- Article
- Export citation
R. L. Goodstein. Models of propositional calculi in recursive arithmetic. Mathematica Scandinavica, vol. 6 (1958), pp. 293–296.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 4 / December 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. 291
- Print publication:
- December 1963
-
- Article
- Export citation
JSL volume 28 issue 4 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 4 / December 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- December 1963
-
- Article
-
- You have access
- Export citation
List of officers and members of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 4 / December 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 309-332
- Print publication:
- December 1963
-
- Article
- Export citation
Günter Asser. Funktionen-Algorithmen und Graphschemata. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 20–27.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 4 / December 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. 292
- Print publication:
- December 1963
-
- Article
- Export citation
W. H. Werkmeister. An introduction to critical thinking. A beginner's text in logic. Revised edition. Johnsen Publishing Company, Lincoln, Nebraska, 1957, xx + 663 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 4 / December 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 294-295
- Print publication:
- December 1963
-
- Article
- Export citation
Reviews - J. Ritter. Vorwort. Mathesis universalis; Abhandlungen zur Philosophie als strenger Wissenschaft, by Heinrich Scholz, edited by Hans Hermes, Friedrich Kambartel, and Joachim Ritter, Benno Schwabe & Co. Verlag, Basel and Stuttgart1961, pp. 7–16.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 4 / December 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 283-288
- Print publication:
- December 1963
-
- Article
- Export citation
J. W. Addison. Some consequences of the axiom of constructibility. Fundamenta mathematicae, vol. 46 (1959), pp. 337–357.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 4 / December 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. 293
- Print publication:
- December 1963
-
- Article
- Export citation
Alan Ross Anderson and Nüel D. BelnapJr., A simple treatment of truth functions. The journal of symbolic logic, vol. 24 no. 4 (for 1959, pub. 1961), pp. 301–302.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 4 / December 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. 291
- Print publication:
- December 1963
-
- Article
- Export citation
Hao Wang. The axiomatic method. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 1–33.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 4 / December 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. 288
- Print publication:
- December 1963
-
- Article
- Export citation
Persistence and Herbrand expansions1
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 4 / December 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 280-282
- Print publication:
- December 1963
-
- Article
- Export citation