Selected logic papers / by W.V. Quine.

New York : Random House, [1966] .

Location Call Number Status Consortium Loan
George Washington
Gelman stacks
BC 135 .Q485 Available Request
LIB stacks
BC135 .Q485 Available Request
WRLC Shared Collections Facility
BC135 .Q7 1966 Off-site
Off-Campus Shelving
BC135 .Q485 Available Request
Marymount Main stacks
BC135 .Q485 1966 Available Request
Subjects Logic, Symbolic and mathematical.
Logique symbolique et mathématique.
Description x, 250 pages ; 22 cm.
Copyright Date [1966]
Notes Includes bibliographical references (pages 237-243) and index.
Also issued online.
Summary A collection of 23 papers on mathematical logic covering such subjects as set theory, proof theory, truth functions, techniques of deduction, and other topics, written between 1934 and 1960.
Contents Whitehead and the rise of modern logic (1941) -- Logic, symbolic (1954) -- A method of generating part of arithmetic without use of intuitive logic (1934) -- Definition of substitution (1936) -- Concatenation as a basis for arithmetic (1946) -- Set-theoretic foundations for logic (1936) -- Logic based on inclusion and abstraction (1937) -- On ordered pairs and relations (1945-46) -- On w-inconsistency and a so-called axiom of infinity (1952) -- Element and number (1941) -- On an application of Tarski's theory of truth (1952) -- On Frege's way out (1954) -- Completeness of the propositional calculus (1937) -- On cores and prime implicants of truth functions (1958) -- Two theorems about truth functions (1951) -- On boolean functions (1949) -- On the logic of quantification (1945) -- A proof procedure for quantification theory (1954) -- Interpretations of sets of conditions (1953) -- Church's theorem on the decision problem (1954) -- Quantification and the empty domain (1953) -- Reduction to a dyadic predicate (1953) -- Variables explained away (1960).
Network Numbers (OCoLC)372938
WorldCat Search OCLC WorldCat
WorldCat Identities Quine, W. V.
Publication timeline, list of works, related names and subjects and other information


Export citation to: RefWorks