skip to content
Mathematical logic Preview this item
ClosePreview this item
Checking...

Mathematical logic

Author: W V Quine
Publisher: Cambridge, MA : Harvard University Press, ©1981.
Edition/Format:   eBook : Document : English : Rev. edView all editions and formats
Database:WorldCat
Rating:

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

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

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

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Quine, W.V. (Willard Van Orman).
Mathematical logic.
Cambridge, MA : Harvard University Press, ©1981
(DLC) 80085313
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: W V Quine
ISBN: 9780674042469 0674042468
OCLC Number: 646832519
Reproduction Notes: Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL
Description: 1 online resource (xii, 346 pages)
Details: Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Contents: ""PREFACE, 1981""; ""PREFACE TO THE REVISED EDITION""; ""PREFACE""; ""CONTENTS""; ""Introduction""; ""CHAPTER ONE. Statements""; ""1. Conjunction, Alternation, and Denial""; ""2. The Conditional""; ""3. Iterated Composition""; ""4. Use versus Mention""; ""5. Statements about Statements""; ""6. Quasi-Quotation""; ""7. Parentheses and Dots""; ""8. Reduction to Three Primitives""; ""9. Reduction to One Primitive""; ""10. Tautology""; ""11. Selected Tautologous Forms""; ""CHAPTER TWO. Quantification""; ""12. The Quantifier""; ""13. FormulÃ?""; ""14. Bondage, Freedom, Closure"" ""15. Axioms of Quantification""""16. Theorems""; ""17. Metatheorems""; ""18. Substitutivity of the Biconditional""; ""19. Existential Quantification""; ""20. Distribution of Quantifiers""; ""21. Alphabetic Variance""; ""CHAPTER THREE. Terms""; ""22. Class and Member""; ""23. Logical FormulÃ?""; ""24. Abstraction""; ""25. Identity""; ""26. Abstraction Resumed""; ""27. Descriptions and Names""; ""CHAPTER FOUR. Extended Theory of Classes""; ""28. Stratification""; ""29. Further Axioms of Membership""; ""30. Substitutivity of Identity""; ""31. Substitution for Variables"" ""32. Further Consequences""""33. Logical Product, Sum, Complement""; ""34. Inclusion""; ""35. Unit Classes""; ""CHAPTER FIVE. Relations""; ""36. Pairs and Relations""; ""37. Abstraction of Relations""; ""38. Converse, Image, Relative Product""; ""39. The Ancestral""; ""40. Functions""; ""41. Abstraction of Functions""; ""42. Identity and Membership as Relations""; ""CHAPTER SIX. Number""; ""43. Zero, One, Successor""; ""44. Natural Numbers""; ""45. Counter Sets""; ""46. Finite and Infinite""; ""47. Powers of Relations""; ""48. Arithmetical Sum, Product, Power"" ""49. Familiar Identities of Arithmetic""""50. Ratios""; ""51. Real Numbers""; ""52. Further Extensions""; ""CHAPTER SEVEN. Syntax""; ""53. Formality""; ""54. The Syntactical Primitive""; ""55. Protosyntax""; ""56. Formula and Matrix Defined""; ""57. Axioms of Quantification Defined""; ""58. Theorem Defined""; ""59. Protosyntax Self-Applied""; ""60. Incompleteness""; ""APPENDIX. Theorem versus Metatheorem""; ""List of Definitions""; ""List of Theorems and Metatheorems""; ""Bibliographical References""; ""Index of Proper Names""; ""Index of Subjects""
Responsibility: by Willard Van Orman Quine.

Reviews

Editorial reviews

Publisher Synopsis

An excellent systematic presentation of mathematical logic...Because it is a clear, exact, and exhaustive treatment of the subject, Professor Quine's book should serve well as a text in a course on Read more...

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

Tags

Be the first.

Similar Items

Related Subjects:(4)

User lists with this item (2)

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/646832519> # Mathematical logic
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
   library:oclcnum "646832519" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/259118#Place/cambridge_ma> ; # Cambridge, MA
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://id.worldcat.org/fast/1012163> ; # Mathematics
   schema:about <http://dewey.info/class/164/e22/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/259118#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:about <http://id.loc.gov/authorities/classification/BC135> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/259118#Topic/philosophy_logic> ; # PHILOSOPHY--Logic
   schema:bookEdition "Rev. ed." ;
   schema:bookFormat schema:EBook ;
   schema:copyrightYear "1981" ;
   schema:creator <http://viaf.org/viaf/27070554> ; # Willard Van Orman Quine
   schema:datePublished "1981" ;
   schema:description """PREFACE, 1981""; ""PREFACE TO THE REVISED EDITION""; ""PREFACE""; ""CONTENTS""; ""Introduction""; ""CHAPTER ONE. Statements""; ""1. Conjunction, Alternation, and Denial""; ""2. The Conditional""; ""3. Iterated Composition""; ""4. Use versus Mention""; ""5. Statements about Statements""; ""6. Quasi-Quotation""; ""7. Parentheses and Dots""; ""8. Reduction to Three Primitives""; ""9. Reduction to One Primitive""; ""10. Tautology""; ""11. Selected Tautologous Forms""; ""CHAPTER TWO. Quantification""; ""12. The Quantifier""; ""13. FormulÃ?""; ""14. Bondage, Freedom, Closure"""@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/259118> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://worldcat.org/entity/work/data/259118#CreativeWork/mathematical_logic> ;
   schema:name "Mathematical logic"@en ;
   schema:productID "646832519" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/646832519#PublicationEvent/cambridge_ma_harvard_university_press_1981> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/259118#Agent/harvard_university_press> ; # Harvard University Press
   schema:url <http://site.ebrary.com/id/10331337> ;
   schema:url <http://catalog.hathitrust.org/api/volumes/oclc/7498354.html> ;
   schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3300750> ;
   schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=282692> ;
   schema:workExample <http://worldcat.org/isbn/9780674042469> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/646832519> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/259118#Agent/harvard_university_press> # Harvard University Press
    a bgn:Agent ;
   schema:name "Harvard University Press" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/259118#Topic/philosophy_logic> # PHILOSOPHY--Logic
    a schema:Intangible ;
   schema:name "PHILOSOPHY--Logic"@en ;
    .

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

<http://id.worldcat.org/fast/1012163> # Mathematics
    a schema:Intangible ;
   schema:name "Mathematics"@en ;
    .

<http://viaf.org/viaf/27070554> # 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://worldcat.org/isbn/9780674042469>
    a schema:ProductModel ;
   schema:isbn "0674042468" ;
   schema:isbn "9780674042469" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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