13629 results in The Journal of Symbolic Logic
E. J. McCluskey Jr. Minimization of Boolean functions. The Bell System technical journal, vol. 35 (1956), pp. 1417–1444.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 235
- Print publication:
- June 1958
-
- Article
- Export citation
N. D. Gautam. The validity of equations of complex algebras. Archiv für mathematische Logik und Grundlagenforschung, vol. 3 (1957), pp. 117–124.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 224
- Print publication:
- June 1958
-
- Article
- Export citation
Ladislav Rieger. A contribution to Gödel's axiomatic set-theory, I. English, with Russian summary. Čéhoslovačkij matématičéskij žurnal (Czechoslovak mathematical journal), vol. 7 (82) (1957), pp. 323–357.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 216-217
- Print publication:
- June 1958
-
- Article
- Export citation
Martin A. Greenman. A Whiteheadian analysis of propositions and facts. English with Spanish Extracto. Philosophy and phenomenological research, vol. 13 no. 4 (1953), pp. 477–486.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 212-213
- Print publication:
- June 1958
-
- Article
- Export citation
A. Mostowski. On a generalization of quantifiers. Fundamenta mathematicae, vol. 44 (1957), pp. 12–36.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 217
- Print publication:
- June 1958
-
- Article
- Export citation
Th. Skolem. The logical background of arithmetic. Bulletin de la Société Mathématique de Belgique, vol. 6 (for 1953, pub. 1954), pp. 23–34.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 228
- Print publication:
- June 1958
-
- Article
- Export citation
László Kalmár. Über ein Problem, betreffend die Definition des Begriffes der allgemein-rekursiven Funktion. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 (1955), pp. 93–96.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 227
- Print publication:
- June 1958
-
- Article
- Export citation
E. J. McCluskey Jr. Detection of group invariance or total symmetry of a Boolean function. The Bell System technical journal, vol. 35 (1956), pp. 1445–1453.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 236
- Print publication:
- June 1958
-
- Article
- Export citation
Foundational aspects of theories of measurement1
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 113-128
- Print publication:
- June 1958
-
- Article
- Export citation
R. L. Goodstein. Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1957, XII + 190 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 227-228
- Print publication:
- June 1958
-
- Article
- Export citation
James Wilkinson Miller. Logic workbook. Oxford University Press, New York1958, vii + 88 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 213
- Print publication:
- June 1958
-
- Article
- Export citation
M. A. Gavrilov. Vydélénié v réléjnyh shémah cépéj, vozdéjstvuúščih na dannyj elémént (Selecting in relay networks paths energizing a given effector). Doklady Akademii Nauk SSSR, vol. 87 (1952), pp. 413–416.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 234
- Print publication:
- June 1958
-
- Article
- Export citation
Zdzisław Kraszewski. Logika stosunków zakresowych (rachunek zdań, zakresowych). Studio logica, Bd. 4 (1956), S. 63–87. - Z. Kraszewski. Logika obémnyh otnošénij (isčislénie obémnyh prédložénij). Russische Übersetzung des Vorhergehenden. Studio logica, Bd. 4 (1956), S. 88–115. - Z. Kraszewski. Logic of extensional relations. Englischer Auszug desselben. Studio logica, Bd. 4 (1956), S. 116.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 230-231
- Print publication:
- June 1958
-
- Article
- Export citation
JSL volume 23 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- June 1958
-
- Article
-
- You have access
- Export citation
Paul R. Halmos. Algebraic logic II. Homogeneous locally finite polyadic Boolean algebras of infinite degree. Fundamenta mathematicae, vol. 43 (1956), pp. 256–325.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 222-223
- Print publication:
- June 1958
-
- Article
- Export citation
F. Waismann. How I see philosophy. Contemporary British philosophy, Third series, edited by H. D. Lewis, George Allen & Unwin, London1956, and The Macmillan Company, New York 1956, pp. 447–490. - William Kneale. The province of logic. Contemporary British philosophy, Third series, edited by H. D. Lewis, George Allen & Unwin, London1956, and The Macmillan Company, New York 1956, pp. 237–262.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 209-210
- Print publication:
- June 1958
-
- Article
- Export citation
Ray H. Dotterer. Formal logic and the “fringe.”Science and society, vol. 13 no. 3 (1949), pp. 269–271. - W. T. Parry. Reply to Professor Dotterer. Science and society, vol. 13 no. 3 (1949), pp. 271–272.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 214
- Print publication:
- June 1958
-
- Article
- Export citation
Paul R. Halmos. Algebraic logic, I. Monadic Boolean algebras. Compositio mathematica, vol. 12 (1955), p. 217–249.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 219-222
- Print publication:
- June 1958
-
- Article
- Export citation
Thomas Storer. A note on empiricism. Philosophical studies (Minneapolis), vol. 4 (1953), p. 78. - Herbert Hochberg. Professor Storer on empiricism. Philosophical studies (Minneapolis), vol. 5 (1954), pp. 29–31. - David Karl Kauf. A comment on Hochberg's reply to Storer. Philosophical studies (Minneapolis), pp. 57–58.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 213-214
- Print publication:
- June 1958
-
- Article
- Export citation
The classical and the ω-complete arithmetic1
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 188-206
- Print publication:
- June 1958
-
- Article
- Export citation