skip to content
Selected logic papers Preview this item
ClosePreview this item
Checking...

Selected logic papers

Author: W V Quine
Publisher: New York : Random House, [1966] ©1966
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
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.
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Additional Physical Format: Online version:
Quine, W.V. (Willard Van Orman).
Selected logic papers.
New York, Random House [1966]
(OCoLC)644425181
Document Type: Book
All Authors / Contributors: W V Quine
OCLC Number: 372938
Description: x, 250 pages ; 22 cm.
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).
Responsibility: by W.V. Quine.

Abstract:

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.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Related Subjects:(3)

User lists with this item (1)

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/372938> # Selected logic papers
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "372938" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
    schema:about <http://id.loc.gov/authorities/classification/BC135> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/259115#Topic/logica> ; # Logica
    schema:about <http://dewey.info/class/164.08/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/259115#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:author <http://experiment.worldcat.org/entity/work/data/259115#Person/quine_w_v_willard_van_orman> ; # Willard Van Orman Quine
    schema:bookFormat bgn:PrintBook ;
    schema:copyrightYear "1966" ;
    schema:datePublished "1966" ;
    schema:description "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)."@en ;
    schema:description "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."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/259115> ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/644425181> ;
    schema:name "Selected logic papers"@en ;
    schema:productID "372938" ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/372938> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/259115#Person/quine_w_v_willard_van_orman> # Willard Van Orman Quine
    a schema:Person ;
    schema:familyName "Quine" ;
    schema:givenName "Willard Van Orman" ;
    schema:givenName "W. V." ;
    schema:name "Willard Van Orman Quine" ;
    .

<http://experiment.worldcat.org/entity/work/data/259115#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
    schema:name "Logique symbolique et mathématique"@fr ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://www.worldcat.org/oclc/644425181>
    a schema:CreativeWork ;
    rdfs:label "Selected logic papers." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/372938> ; # Selected logic papers
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.