H. G. Bohnert. Logic: its use and basis. University Press of America, Washington, D.C., 1977, vi + 383 pp.

JOURNAL ARTICLE published September 1980 in Journal of Symbolic Logic

Authors: Leigh S. Cauman

Peter S. Landweber. Three theorems on phrase structure grammars of type 1. Information and control, vol. 6 (1963), pp. 131–136.

JOURNAL ARTICLE published June 1967 in Journal of Symbolic Logic

Authors: Richard Stanley

Theodore Hailperin. Quantification theory and empty individual domains. The journal of symbolic logic, vol. 18 (1953), pp. 197–200. - W.V. Quine. Quantification and the empty domain. Ibid., vol. 19 (1954), pp. 177–179.

JOURNAL ARTICLE published September 1955 in Journal of Symbolic Logic

Authors: John Myhill

Paul C. Rosenbloom. The elements of mathematical logic. Dover Publications, Inc., New York, 1951, 6 + iv + 214 pp.

JOURNAL ARTICLE published September 1953 in Journal of Symbolic Logic

Authors: Martin Davis

Hao Wang. Some partial systems. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 507–534.

JOURNAL ARTICLE published March 1965 in Journal of Symbolic Logic

Authors: Steven Orey

JSL volume 28 issue 1 Cover and Back matter

JOURNAL ARTICLE published March 1963 in Journal of Symbolic Logic

George D. W. Berry. Peirce's contribution to the logic of statements and quantifiers. Studies in the philosophy of Charles Sanders Peirce, edited by Philip P. Wiener and Frederic H. Young, Harvard University Press, Cambridge, Mass., 1952, pp. 153–165, 345.

JOURNAL ARTICLE published September 1959 in Journal of Symbolic Logic

Authors: Rulon Wells

Notices

JOURNAL ARTICLE published December 1993 in Journal of Symbolic Logic

Robert Feys. Logistique. Philosophie (Chronique des années d'après guerre 1946-1948), XIII Philosophie des sciences, publiée par l'Institut International de Philosophie, Actualités scientifiques et industrielles 1105, Hermann & C^ie, Paris1950, pp. 19–32.

JOURNAL ARTICLE published December 1956 in Journal of Symbolic Logic

Authors: Alonzo Church

Yuriĭ L. Ershov. Opredelimost′ i rychislimost′. Russian original of the preceding. Sibirskaya shkola algebry i logiki. Nauchnaya Kniga, Novosibirsk 1996, 300 pp. - Richard Lassaigne and Michel de Rougemont. Logique et complexité. Collection informatique. Hermès, Paris 1996, viii + 322 pp.

JOURNAL ARTICLE published June 1998 in The Journal of Symbolic Logic

Authors: Denis Therien

On the solvability of a subclass of the surányi reduction class

JOURNAL ARTICLE published September 1963 in Journal of Symbolic Logic

Authors: Richard Goldberg

L. O. Kattsoff. Ontology and the choice of languages. Actes du Xlème Congrès International de Philosophie, Volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 26-32.

JOURNAL ARTICLE published December 1957 in Journal of Symbolic Logic

Authors: Noam Chomsky

Astounding Science Fiction.

JOURNAL ARTICLE published December 1952 in The Journal of Symbolic Logic

Authors: Alonzo Church | C. Kim-Bradley

Paul Bernays. A system of axiomatic set theory — Part VII. The journal of symbolic logic, vol. 19 (1954), pp. 81–96.

JOURNAL ARTICLE published December 1957 in Journal of Symbolic Logic

Authors: J. R. Shoenfield

Alonzo Church. Mathematics and logic. Logic, methodology and philosophy of science, Proceedings of the I960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 181–186.

JOURNAL ARTICLE published March 1963 in Journal of Symbolic Logic

Authors: E. J. Lemmon

Related Citations

JOURNAL ARTICLE published December 1939 in Journal of Symbolic Logic

Veli Valpola. Eine Eigenschaft gewöhnlicher negationsloser Kalküle der Propositionen- und Prädikatenlogik. Mathematica Scandinavica, vol. 3 (1955), pp. 107–114.

JOURNAL ARTICLE published December 1957 in Journal of Symbolic Logic

Authors: P. C. Gilmore

JSL volume 42 issue 4 Cover and Back matter

JOURNAL ARTICLE published December 1977 in Journal of Symbolic Logic

Silvio Minetti. Il principio del terzo escluso e la logica empirista di Brouwer. Sophia, vol. 9 (1941), pp. 179–197.

JOURNAL ARTICLE published March 1948 in Journal of Symbolic Logic

Authors: Norma R. Chatalian

JSL volume 29 issue 1 Cover and Front matter

JOURNAL ARTICLE published March 1964 in Journal of Symbolic Logic