Mathematical Logic, Revised Edition / / W. V. Quine.
Saved in:
Superior document: | Title is part of eBook package: De Gruyter HUP eBook Package Archive 1893-1999 |
---|---|
VerfasserIn: | |
Place / Publishing House: | Cambridge, MA : : Harvard University Press, , [2021] ©1951 |
Year of Publication: | 2021 |
Language: | English |
Online Access: | |
Physical Description: | 1 online resource (358 p.) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
LEADER | 04550nam a22006375i 4500 | ||
---|---|---|---|
001 | 9780674042469 | ||
003 | DE-B1597 | ||
005 | 20210729020517.0 | ||
006 | m|||||o||d|||||||| | ||
007 | cr || |||||||| | ||
008 | 210729t20211951mau fo d z eng d | ||
020 | |a 9780674042469 | ||
024 | 7 | |a 10.4159/9780674042469 |2 doi | |
035 | |a (DE-B1597)574584 | ||
040 | |a DE-B1597 |b eng |c DE-B1597 |e rda | ||
041 | 0 | |a eng | |
044 | |a mau |c US-MA | ||
050 | 4 | |a BC135 -- Q48 1981eb | |
072 | 7 | |a PHI000000 |2 bisacsh | |
100 | 1 | |a Quine, W. V., |e author. |4 aut |4 http://id.loc.gov/vocabulary/relators/aut | |
245 | 1 | 0 | |a Mathematical Logic, Revised Edition / |c W. V. Quine. |
264 | 1 | |a Cambridge, MA : |b Harvard University Press, |c [2021] | |
264 | 4 | |c ©1951 | |
300 | |a 1 online resource (358 p.) | ||
336 | |a text |b txt |2 rdacontent | ||
337 | |a computer |b c |2 rdamedia | ||
338 | |a online resource |b cr |2 rdacarrier | ||
347 | |a text file |b PDF |2 rda | ||
505 | 0 | 0 | |t Frontmatter -- |t PREFACE, 1981 -- |t PREFACE TO THE REVISED EDITION -- |t PREFACE -- |t CONTENTS -- |t Introduction -- |t CHAPTER ONE. Statelfzents -- |t 1. Conjunction, Alternation, and Denial -- |t 2. The Conditional -- |t 3. Iterated Composition -- |t 4. Use versus Mention -- |t 5. Statements about Statements -- |t 6. Quasi-Quotation -- |t 7. Parentheses and Dots -- |t 8. Reduction to Three Primitives -- |t 9. Reduction to One Primitive -- |t 10. Tautology -- |t 11. Selected Tautologous Forms -- |t CHAPTER TWO. Quantification -- |t 12. The Quantifier -- |t 13. Formulae -- |t 14. Bondage, Freedom, Closure -- |t 15. Axioms of Quantification -- |t 16. Theorems -- |t 17. Metatheorems -- |t 18. Substitutivity of the Biconditional -- |t 19. Existential Quantification -- |t 20. Distribution of Quantifiers -- |t 21. Alphabetic Variance -- |t CHAPTER THREE. Terms -- |t 22. Class and Member -- |t 23. Logical Formulae -- |t 24. Abstraction -- |t 25. Identity -- |t 26. Abstraction Resumed -- |t 27. Descriptions and Names -- |t CHAPTER FOUR. Extended Theory of Classes -- |t 28. Stratification -- |t 29. Further Axioms of Membership -- |t 30. Substitutivity of Identity -- |t 31. Substitution for Variables -- |t 32. Further Consequences -- |t 33. Logical Product, Sum, Complement -- |t 34. Inclusion -- |t 35. Unit Classes -- |t CHAPTER FIVE. Relations -- |t 36. Pairs and Relations -- |t 37. Abstraction of Relations -- |t 38. Converse, Image, Relative Product -- |t 39. The Ancestral -- |t 40. Functions -- |t 41. Abstraction of Functions -- |t 42. Identity and Membership as Relations -- |t CHAPTER SIX. Number -- |t 43. Zero, One, Successor -- |t 44. Natural Numbers -- |t 45. Counter Sets -- |t 46. Finite and Infinite -- |t 47. Powers of Relations -- |t 48. Arithmetical Sum, Product, Power -- |t 49. Familiar Identities of Arithmetic -- |t 50. Ratios -- |t 51. Real Numbers -- |t 52. Further Extensions -- |t CHAPTER SEVEN. Syntax -- |t 53. Formality -- |t 54. The Syntactical Primitive -- |t 55. Protosyntax -- |t 56. Formula and Matrix Defined -- |t 57. Axioms of Quantification Defined -- |t 58. Theorem Defined -- |t 59. Protosyntax Self-Applied -- |t 60. Incompleteness -- |t APPENDIX. Theorem versus Metatheorem -- |t List of Definitions -- |t List of Theorems and Metatheorems -- |t Bibliographical References -- |t Index of Proper Names -- |t Index of Subjects |
506 | 0 | |a restricted access |u http://purl.org/coar/access_right/c_16ec |f online access with authorization |2 star | |
538 | |a Mode of access: Internet via World Wide Web. | ||
546 | |a In English. | ||
588 | 0 | |a Description based on online resource; title from PDF title page (publisher's Web site, viewed 29. Jul 2021) | |
650 | 0 | |a Logic, Symbolic and mathematical. | |
650 | 0 | |a Logique symbolique et mathématique. | |
650 | 0 | |a Mathematics. | |
650 | 7 | |a PHILOSOPHY / General. |2 bisacsh | |
773 | 0 | 8 | |i Title is part of eBook package: |d De Gruyter |t HUP eBook Package Archive 1893-1999 |z 9783110442212 |
856 | 4 | 0 | |u https://doi.org/10.4159/9780674042469 |
856 | 4 | 0 | |u https://www.degruyter.com/isbn/9780674042469 |
856 | 4 | 2 | |3 Cover |u https://www.degruyter.com/cover/covers/9780674042469.jpg |
912 | |a 978-3-11-044221-2 HUP eBook Package Archive 1893-1999 |c 1893 |d 1999 | ||
912 | |a EBA_BACKALL | ||
912 | |a EBA_CL_PLTLJSIS | ||
912 | |a EBA_EBACKALL | ||
912 | |a EBA_EBKALL | ||
912 | |a EBA_ECL_PLTLJSIS | ||
912 | |a EBA_EEBKALL | ||
912 | |a EBA_ESSHALL | ||
912 | |a EBA_PPALL | ||
912 | |a EBA_SSHALL | ||
912 | |a GBV-deGruyter-alles | ||
912 | |a PDA11SSHE | ||
912 | |a PDA13ENGE | ||
912 | |a PDA17SSHEE | ||
912 | |a PDA5EBK |