Quine W. V.. Definition of substitution. Bulletin of the American Mathematical Society, vol. 42 , pp. 561–569

Journal of Symbolic Logic 1 (3):116-117 (1936)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269046

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,075

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: W. V. Quine, Definition of Substitution. [REVIEW]Barkley Rosser - 1936 - Journal of Symbolic Logic 1 (3):116-117.
McKinsey J. C. C.. A condition that a first Boolean function vanish wherever a second does not. Bulletin of the American Mathematical Society, vol. 43 , pp. 694–696. [REVIEW]W. V. Quine - 1938 - Journal of Symbolic Logic 3 (1):47-48.
Quine W. V.. A reinterpretation of Schönfinkel's logical operators. Bulletin of the American Mathematical Society, vol. 42 , pp. 87–89. [REVIEW]Paul Bernays - 1936 - Journal of Symbolic Logic 1 (1):42-43.
Alan Rose and J. Barkley Rosser. Fragments of many-valued statement calculi. Transactions of the American Mathematical Society, vol. 87 , pp. 1–53. - C. A. Meredith. The dependence of an axiom of Łukasiewicz. Transactions of the American Mathematical Society, vol. 87 , p. 54. - C. C. Chang. Proof of an axiom of Łukasiewicz. Transactions of the American Mathematical Society, vol. 87 , pp. 55–56. [REVIEW]Atwell R. Turquette - 1959 - Journal of Symbolic Logic 24 (3):248-249.
McKinsey J. C. C.. On the generation of the functions Cpq and Np of Lukasiewicz and Tarski by means of a single binary operation. Bulletin of the American Mathematical Society, vol. 42 , pp. 849–851. [REVIEW]W. V. Quine - 1937 - Journal of Symbolic Logic 2 (1):59-59.
In Search of Opacity.Antonio K. Chu - 1990 - Dissertation, The University of Wisconsin - Madison
Definition by induction in Quine's new foundations for mathematical logic.Barkley Bosser - 1939 - Journal of Symbolic Logic 4 (2):80-81.
W. V. Quine. Logic as a source of syntactical insights. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence 1961, pp. 1–5. - Irina Lynch, W. V. Quine. Comments. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence 1961, pp. 254–255. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (3):496-497.
Farah Ilijas. Analytic quotients. Memoirs of the American Mathematical Society vol. 148 no. 702, American Mathematical Society, Providence, RI, 2000, xvi+ 177 pp. [REVIEW]D. H. Fremlin - 2006 - Bulletin of Symbolic Logic 12 (1):126-128.
Review: Barkley Rosser, Definition by Indication in Quine's New Foundations for Mathematical Logic. [REVIEW]Paul Bernays - 1940 - Journal of Symbolic Logic 5 (1):33-33.
Oglesby Francis C.. An examination of a decision procedure. Memoirs of the American Mathematical Society, no. 44. American Mathematical Society, Providence 1962, 148 pp.Oglesby F. C.. Report: An examination of a decision procedure. Bulletin of the American Mathematical Society, vol. 67 , pp. 300–304. [REVIEW]Abraham Robinson - 1963 - Journal of Symbolic Logic 28 (2):165-166.
Definition of Substitution.W. V. Quine - 1936 - Journal of Symbolic Logic 1 (3):116-117.
Andréka H., Givant S., and Németi I.. Decision problems for equational theories of relation algebras. Memoirs of the American Mathematical Society, vol. 126, no. 604. American Mathematical Society, Providence, March 1997, xiv+ 126 pp. [REVIEW]Roger D. Maddux - 2003 - Bulletin of Symbolic Logic 9 (1):37-39.
On an Argument for Truth-Functionality.Robert C. Cummins & Dale Gottlieb - 1972 - American Philosophical Quarterly 9 (3):265 - 269.
Curry Haskell B.. Some aspects of the problem of mathematical rigor. Bulletin of the American Mathematical Society, vol. 47 , pp. 221–241. [REVIEW]S. C. Kleene - 1941 - Journal of Symbolic Logic 6 (3):100-102.

Analytics

Added to PP
2016-06-30

Downloads
12 (#1,086,830)

6 months
1 (#1,473,890)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references