Notices

JOURNAL ARTICLE published September 1980 in Journal of Symbolic Logic

G. F. Schumm. On some open questions of B. Sobociński. Notre Dame Journal of format logic, vol. 10 no. 3 (1969), pp. 261–262.

JOURNAL ARTICLE published June 1971 in Journal of Symbolic Logic

Authors: R. A. Bull

JSL volume 32 issue 1 Cover and Front matter

JOURNAL ARTICLE published June 1967 in Journal of Symbolic Logic

Notice of a meeting of the Association

JOURNAL ARTICLE published June 1938 in Journal of Symbolic Logic

A. N. Prior. Notes on a group of new modal systems. Logique et analyse, n.s. vol. 2 (1959), pp. 122–127. - R. A. Bull. An axiomatization of Prior's modal calculus . Notre Dame journal of formal logic, vol. 5 no. 3 (1964), pp. 211–214. - A. N. Prior. Axiomatisations of the modal calculus . Notre Dame journal of formal logic, vol. 5 no. 3 (1964), pp. 215–217.

JSL volume 4 issue 3 Cover and Back matter

JOURNAL ARTICLE published December 1978 in Journal of Symbolic Logic

Gerhard Brewka. Nonmonotonic reasoning: logical foundations of commonsense. Cambridge tracts in theoretical computer science, no. 12. Cambridge University Press, Cambridge etc. 1991, xiii + 168 pp.

JOURNAL ARTICLE published September 1993 in Journal of Symbolic Logic

Authors: Heinrich Herre

Newcomb Greenleaf. Fields in which varieties have rational points: a note on a problem of Ax. Proceedings of the American Mathematical Society, vol. 27 (1971), pp. 139–140.

JOURNAL ARTICLE published March 1973 in Journal of Symbolic Logic

Authors: Verena H. Dyson

The New Rationalism: Dewey's Theory of Induction.

JOURNAL ARTICLE published June 1950 in The Journal of Symbolic Logic

Authors: May Brodbeck

The first meeting of the Association for Symbolic Logic

JOURNAL ARTICLE published September 1936 in Journal of Symbolic Logic

Authors: Paul Weiss

Katuzi Ono. A certain kind of formal theories. Nagoya mathematical journal, vol. 25 (1965), pp. 59–86.

JOURNAL ARTICLE published 17 November 1969 in Journal of Symbolic Logic

Authors: Jean Ladrière

Meeting of the Association for Symbolic Logic, Chicago, 1989

JOURNAL ARTICLE published March 1990 in Journal of Symbolic Logic

Authors: Kenneth Manders

Institutional contributing subscribers to the Journal of Symbolic Logic

JOURNAL ARTICLE published December 1938 in Journal of Symbolic Logic

Reviews - J. L. Austin. The meaning of a word. Philosophical papers by J. L. Austin, edited by J. O. Urmson and G. J. Warnock, Clarendon Press, Oxford1961, pp. 23–43. Reprinted in Philosophy and ordinary language, edited by Charles E. Caton, University of Illinois Press, Urbana 1963, pp. 1–21. - J. L. Ausnn. Truth. A reprint of XXIV 191. Philosophical papers by J. L. Austin, edited by J. O. Urmson and G. J. Warnock, Clarendon Press, Oxford1961, pp. 85–101. - J. L. Austin. Unfair to facts. Philosophical papers by J. L. Austin, edited by J. O. Urmson and G. J. Warnock, Clarendon Press, Oxford1961, pp. 102–122.

JOURNAL ARTICLE published December 1970 in Journal of Symbolic Logic

Authors: James Cargile

Provable Wellorderings of Formal Theories for Transfinitely Iterated Inductive Definitions.

JOURNAL ARTICLE published September 1983 in The Journal of Symbolic Logic

Authors: Kurt Schutte | W. Buchholz | W. Pohlers

J. C. E. Dekker. Infinite series of isols. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 77–96.

JOURNAL ARTICLE published December 1966 in Journal of Symbolic Logic

Authors: Kenneth Appel

Time polynomial in input or output

JOURNAL ARTICLE published September 1989 in Journal of Symbolic Logic

Authors: Yuri Gurevich | Saharon Shelah

K. Britton. What is a rule of language?Actes du X^me Congrès International de Philosophie (Amsterdam, 11–18 août, 1948)—Proceedings of the Tenth International Congress of Philosophy (Amsterdam, August 11–18,1948), North-Holland Publishing Company, Amsterdam1949, pp. 779–781.

JOURNAL ARTICLE published September 1949 in Journal of Symbolic Logic

Authors: Max Black

Abraham Robinson. A result on consistency and its application to the theory of definition. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, Series A, vol. 59 (1956), pp. 47–58; also Indagationes mathematicae, vol. 18 (1956), pp. 47–58.

JOURNAL ARTICLE published June 1960 in Journal of Symbolic Logic

Authors: William Craig

Frank B. Cannonito. The Gödel incompleteness theorem and intelligent machines. AFIPS, Proceedings 1962 Spring Joint Computer Conference, San Francisco, Calif., May 1–3, 1962, vol. 21, The National Press, Palo Alto1962, pp. 71–77.

JOURNAL ARTICLE published December 1971 in Journal of Symbolic Logic

Authors: Perry Smith