LEADER 03891nam  2200565Ia 450 
001 9910812920903321
005 20200520144314.0
010   $a0-674-04246-8
024 7 $a10.4159/9780674042469
035   $a(CKB)1000000000805646
035   $a(StDuBDS)AH21620471
035   $a(SSID)ssj0000199103
035   $a(PQKBManifestationID)11172348
035   $a(PQKBTitleCode)TC0000199103
035   $a(PQKBWorkID)10184679
035   $a(PQKB)10468785
035   $a(Au-PeEL)EBL3300750
035   $a(CaPaEBR)ebr10331337
035   $a(OCoLC)923117190
035   $a(DE-B1597)574584
035   $a(DE-B1597)9780674042469
035   $a(MiAaPQ)EBC3300750
035   $a(EXLCZ)991000000000805646
100   $a19861003d1981      uy         0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aMathematical logic /$fby Willard Van Orman Quine
205   $aRev. ed.
210   $aCambridge, MA $cHarvard University Press$dc1981
215   $a1 online resource (xii, 346 pages)
300   $aBibliographic Level Mode of Issuance: Monograph
311 0 $a0-674-55450-7 
311 0 $a0-674-55451-5 
320   $aIncludes bibliography and index.
327   $tFrontmatter --$tPREFACE, 1981 --$tPREFACE TO THE REVISED EDITION --$tPREFACE --$tCONTENTS --$tIntroduction --$tCHAPTER ONE. Statelfzents --$t1. Conjunction, Alternation, and Denial --$t2. The Conditional --$t3. Iterated Composition --$t4. Use versus Mention --$t5. Statements about Statements --$t6. Quasi-Quotation --$t7. Parentheses and Dots --$t8. Reduction to Three Primitives --$t9. Reduction to One Primitive --$t10. Tautology --$t11. Selected Tautologous Forms --$tCHAPTER TWO. Quantification --$t12. The Quantifier --$t13. Formulae --$t14. Bondage, Freedom, Closure --$t15. Axioms of Quantification --$t16. Theorems --$t17. Metatheorems --$t18. Substitutivity of the Biconditional --$t19. Existential Quantification --$t20. Distribution of Quantifiers --$t21. Alphabetic Variance --$tCHAPTER THREE. Terms --$t22. Class and Member --$t23. Logical Formulae --$t24. Abstraction --$t25. Identity --$t26. Abstraction Resumed --$t27. Descriptions and Names --$tCHAPTER FOUR. Extended Theory of Classes --$t28. Stratification --$t29. Further Axioms of Membership --$t30. Substitutivity of Identity --$t31. Substitution for Variables --$t32. Further Consequences --$t33. Logical Product, Sum, Complement --$t34. Inclusion --$t35. Unit Classes --$tCHAPTER FIVE. Relations --$t36. Pairs and Relations --$t37. Abstraction of Relations --$t38. Converse, Image, Relative Product --$t39. The Ancestral --$t40. Functions --$t41. Abstraction of Functions --$t42. Identity and Membership as Relations --$tCHAPTER SIX. Number --$t43. Zero, One, Successor --$t44. Natural Numbers --$t45. Counter Sets --$t46. Finite and Infinite --$t47. Powers of Relations --$t48. Arithmetical Sum, Product, Power --$t49. Familiar Identities of Arithmetic --$t50. Ratios --$t51. Real Numbers --$t52. Further Extensions --$tCHAPTER SEVEN. Syntax --$t53. Formality --$t54. The Syntactical Primitive --$t55. Protosyntax --$t56. Formula and Matrix Defined --$t57. Axioms of Quantification Defined --$t58. Theorem Defined --$t59. Protosyntax Self-Applied --$t60. Incompleteness --$tAPPENDIX. Theorem versus Metatheorem --$tList of Definitions --$tList of Theorems and Metatheorems --$tBibliographical References --$tIndex of Proper Names --$tIndex of Subjects
606   $aLogic, Symbolic and mathematical
606   $aMathematics
615  0$aLogic, Symbolic and mathematical.
615  0$aMathematics.
700   $aQuine$b W. V$g(Willard Van Orman)$058505
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910812920903321
996   $aMathematical logic$91011660
997   $aUNINA