|
|
|
|
LEADER |
00000cam a2200000Ma 4500 |
001 |
EBOOKCENTRAL_ocn646832519 |
003 |
OCoLC |
005 |
20240329122006.0 |
006 |
m o d |
007 |
cr cn||||||||| |
008 |
861003s1981 mau ob 001 0 eng d |
010 |
|
|
|z 80085313
|
040 |
|
|
|a E7B
|b eng
|e pn
|c E7B
|d OCLCQ
|d N$T
|d OCLCQ
|d OCLCF
|d OCLCE
|d COO
|d OCLCO
|d YDXCP
|d QGK
|d OCLCQ
|d EBLCP
|d OCLCQ
|d AZK
|d COCUF
|d AGLDB
|d MOR
|d PIFAG
|d ZCU
|d MERUC
|d OCLCQ
|d U3W
|d STF
|d WRM
|d OCLCQ
|d VTS
|d ICG
|d NRAMU
|d VT2
|d OCLCQ
|d DKC
|d OCLCQ
|d CEF
|d HS0
|d AJS
|d OCLCO
|d REDDC
|d JSTOR
|d OCLCO
|d OCLCQ
|d OCLCO
|d OCLCL
|
019 |
|
|
|a 456407962
|a 624476824
|a 680177003
|a 923117190
|a 961644235
|a 962675697
|a 975211953
|a 975244192
|a 988443423
|a 991921190
|a 1017611242
|a 1018052536
|a 1037937073
|a 1038630183
|a 1043663085
|a 1081290194
|a 1100833492
|a 1227632317
|a 1228578778
|a 1241926627
|a 1257362645
|a 1259067832
|a 1409014274
|
020 |
|
|
|a 9780674042469
|q (electronic bk.)
|
020 |
|
|
|a 0674042468
|q (electronic bk.)
|
020 |
|
|
|z 0674554507
|q (cloth)
|
020 |
|
|
|z 9780674554504
|q (cloth)
|
020 |
|
|
|z 0674554515
|q (pbk.)
|
020 |
|
|
|z 9780674554511
|q (pbk.)
|
029 |
1 |
|
|a DEBBG
|b BV043126786
|
029 |
1 |
|
|a DEBBG
|b BV044099661
|
029 |
1 |
|
|a DEBSZ
|b 421970391
|
029 |
1 |
|
|a NLGGC
|b 380996006
|
029 |
1 |
|
|a NZ1
|b 15322612
|
029 |
1 |
|
|a AU@
|b 000054174217
|
035 |
|
|
|a (OCoLC)646832519
|z (OCoLC)456407962
|z (OCoLC)624476824
|z (OCoLC)680177003
|z (OCoLC)923117190
|z (OCoLC)961644235
|z (OCoLC)962675697
|z (OCoLC)975211953
|z (OCoLC)975244192
|z (OCoLC)988443423
|z (OCoLC)991921190
|z (OCoLC)1017611242
|z (OCoLC)1018052536
|z (OCoLC)1037937073
|z (OCoLC)1038630183
|z (OCoLC)1043663085
|z (OCoLC)1081290194
|z (OCoLC)1100833492
|z (OCoLC)1227632317
|z (OCoLC)1228578778
|z (OCoLC)1241926627
|z (OCoLC)1257362645
|z (OCoLC)1259067832
|z (OCoLC)1409014274
|
037 |
|
|
|a 22573/ctv1skc0zr
|b JSTOR
|
042 |
|
|
|a dlr
|
050 |
|
4 |
|a BC135
|b .Q48 1981eb
|
072 |
|
7 |
|a PHI
|x 011000
|2 bisacsh
|
082 |
0 |
4 |
|a 164
|2 22
|
084 |
|
|
|a 31.02
|2 bcl
|
049 |
|
|
|a UAMI
|
100 |
1 |
|
|a Quine, W. V.
|q (Willard Van Orman)
|1 https://id.oclc.org/worldcat/entity/E39PBJpjhx3KBcxVktHHwkkdQq
|
245 |
1 |
0 |
|a Mathematical logic /
|c by Willard Van Orman Quine.
|
250 |
|
|
|a Rev. ed.
|
260 |
|
|
|a Cambridge, MA :
|b Harvard University Press,
|c ©1981.
|
300 |
|
|
|a 1 online resource (xii, 346 pages)
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a computer
|b c
|2 rdamedia
|
338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
347 |
|
|
|a data file
|2 rda
|
504 |
|
|
|a Includes bibliographical references and index.
|
588 |
0 |
|
|a Print version record.
|
506 |
|
|
|3 Use copy
|f Restrictions unspecified
|2 star
|5 MiAaHDL
|
533 |
|
|
|a Electronic reproduction.
|b [Place of publication not identified] :
|c HathiTrust Digital Library,
|d 2010.
|5 MiAaHDL
|
538 |
|
|
|a 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.
|u http://purl.oclc.org/DLF/benchrepro0212
|5 MiAaHDL
|
583 |
1 |
|
|a digitized
|c 2010
|h HathiTrust Digital Library
|l committed to preserve
|2 pda
|5 MiAaHDL
|
505 |
0 |
|
|a 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
|
505 |
8 |
|
|a 15. Axioms of Quantification16. 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
|
505 |
8 |
|
|a 32. Further Consequences33. 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
|
505 |
8 |
|
|a 49. Familiar Identities of Arithmetic50. 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
|
546 |
|
|
|a English.
|
590 |
|
|
|a ProQuest Ebook Central
|b Ebook Central Academic Complete
|
590 |
|
|
|a eBooks on EBSCOhost
|b EBSCO eBook Subscription Academic Collection - Worldwide
|
590 |
|
|
|a JSTOR
|b Books at JSTOR Demand Driven Acquisitions (DDA)
|
650 |
|
0 |
|a Logic, Symbolic and mathematical.
|
650 |
|
0 |
|a Mathematics.
|
650 |
|
2 |
|a Mathematics
|
650 |
|
6 |
|a Logique symbolique et mathématique.
|
650 |
|
6 |
|a Mathématiques.
|
650 |
|
7 |
|a PHILOSOPHY
|x Logic.
|2 bisacsh
|
650 |
|
7 |
|a Logic, Symbolic and mathematical
|2 fast
|
650 |
|
7 |
|a Mathematics
|2 fast
|
758 |
|
|
|i has work:
|a Mathematical logic (Text)
|1 https://id.oclc.org/worldcat/entity/E39PCGP9BMyfHhpHB3ppHxRmbb
|4 https://id.oclc.org/worldcat/ontology/hasWork
|
776 |
0 |
8 |
|i Print version:
|a Quine, W.V. (Willard Van Orman).
|t Mathematical logic.
|b Rev. ed.
|d Cambridge, MA : Harvard University Press, ©1981
|w (DLC) 80085313
|
856 |
4 |
0 |
|u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=3300750
|z Texto completo
|
938 |
|
|
|a EBL - Ebook Library
|b EBLB
|n EBL3300750
|
938 |
|
|
|a ebrary
|b EBRY
|n ebr10331337
|
938 |
|
|
|a EBSCOhost
|b EBSC
|n 282692
|
938 |
|
|
|a YBP Library Services
|b YANK
|n 3105850
|
994 |
|
|
|a 92
|b IZTAP
|