000 04008nam a22004815i 4500
001 189862
003 IT-RoAPU
005 20221214232456.0
006 m|||||o||d||||||||
007 cr || ||||||||
008 210729t20211951mau fo d z eng d
020 _a9780674042469
_qPDF
024 7 _a10.4159/9780674042469
_2doi
035 _a(DE-B1597)9780674042469
035 _a(DE-B1597)574584
040 _aDE-B1597
_beng
_cDE-B1597
_erda
050 4 _aBC135 -- Q48 1981eb
072 7 _aPHI000000
_2bisacsh
084 _aonline - DeGruyter
100 1 _aQuine, W. V.
_eautore
245 1 0 _aMathematical Logic, Revised Edition /
_cW. V. Quine.
264 1 _aCambridge, MA :
_bHarvard University Press,
_c[2021]
264 4 _c©1951
300 _a1 online resource (358 p.)
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
505 0 0 _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
506 0 _arestricted access
_uhttp://purl.org/coar/access_right/c_16ec
_fonline access with authorization
_2star
538 _aMode of access: Internet via World Wide Web.
546 _aIn English.
588 0 _aDescription based on online resource; title from PDF title page (publisher's Web site, viewed 29. Jul 2021)
650 0 _aLogic, Symbolic and mathematical.
650 0 _aLogique symbolique et mathématique.
650 0 _aMathematics.
650 7 _aPHILOSOPHY / General.
_2bisacsh
850 _aIT-RoAPU
856 4 0 _uhttps://doi.org/10.4159/9780674042469
856 4 0 _uhttps://www.degruyter.com/isbn/9780674042469
856 4 2 _3Cover
_uhttps://www.degruyter.com/cover/covers/9780674042469.jpg
942 _cEB
999 _c189862
_d189862