MARC details
| 000 -LEADER |
|---|
| fixed length control field |
06175cam a2200829Ma 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn646832519 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20220713033920.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS--GENERAL INFORMATION |
|---|
| fixed length control field |
m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr cn||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
861003s1981 mau ob 001 0 eng d |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
|---|
| Canceled/invalid LC control number |
80085313 |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
E7B |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
E7B |
| Modifying agency |
OCLCQ |
| -- |
N$T |
| -- |
OCLCQ |
| -- |
OCLCF |
| -- |
OCLCE |
| -- |
COO |
| -- |
OCLCO |
| -- |
YDXCP |
| -- |
QGK |
| -- |
OCLCQ |
| -- |
EBLCP |
| -- |
OCLCQ |
| -- |
AZK |
| -- |
COCUF |
| -- |
AGLDB |
| -- |
MOR |
| -- |
PIFAG |
| -- |
ZCU |
| -- |
MERUC |
| -- |
OCLCQ |
| -- |
U3W |
| -- |
STF |
| -- |
WRM |
| -- |
OCLCQ |
| -- |
VTS |
| -- |
ICG |
| -- |
NRAMU |
| -- |
VT2 |
| -- |
OCLCQ |
| -- |
DKC |
| -- |
OCLCQ |
| -- |
CEF |
| -- |
HS0 |
| -- |
AJS |
| -- |
OCLCO |
| -- |
REDDC |
| -- |
JSTOR |
| -- |
OCLCO |
| 019 ## - |
|---|
| -- |
456407962 |
| -- |
624476824 |
| -- |
680177003 |
| -- |
923117190 |
| -- |
961644235 |
| -- |
962675697 |
| -- |
975211953 |
| -- |
975244192 |
| -- |
988443423 |
| -- |
991921190 |
| -- |
1017611242 |
| -- |
1018052536 |
| -- |
1037937073 |
| -- |
1038630183 |
| -- |
1043663085 |
| -- |
1081290194 |
| -- |
1100833492 |
| -- |
1227632317 |
| -- |
1228578778 |
| -- |
1241926627 |
| -- |
1257362645 |
| -- |
1259067832 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9780674042469 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
0674042468 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Cancelled/invalid ISBN |
0674554507 |
| Qualifying information |
(cloth) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Cancelled/invalid ISBN |
9780674554504 |
| Qualifying information |
(cloth) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Cancelled/invalid ISBN |
0674554515 |
| Qualifying information |
(pbk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Cancelled/invalid ISBN |
9780674554511 |
| Qualifying information |
(pbk.) |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
DEBBG |
| System control number |
BV043126786 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
DEBBG |
| System control number |
BV044099661 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
DEBSZ |
| System control number |
421970391 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NLGGC |
| System control number |
380996006 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
15322612 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000054174217 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)646832519 |
| Canceled/invalid control number |
(OCoLC)456407962 |
| -- |
(OCoLC)624476824 |
| -- |
(OCoLC)680177003 |
| -- |
(OCoLC)923117190 |
| -- |
(OCoLC)961644235 |
| -- |
(OCoLC)962675697 |
| -- |
(OCoLC)975211953 |
| -- |
(OCoLC)975244192 |
| -- |
(OCoLC)988443423 |
| -- |
(OCoLC)991921190 |
| -- |
(OCoLC)1017611242 |
| -- |
(OCoLC)1018052536 |
| -- |
(OCoLC)1037937073 |
| -- |
(OCoLC)1038630183 |
| -- |
(OCoLC)1043663085 |
| -- |
(OCoLC)1081290194 |
| -- |
(OCoLC)1100833492 |
| -- |
(OCoLC)1227632317 |
| -- |
(OCoLC)1228578778 |
| -- |
(OCoLC)1241926627 |
| -- |
(OCoLC)1257362645 |
| -- |
(OCoLC)1259067832 |
| 037 ## - SOURCE OF ACQUISITION |
|---|
| Stock number |
22573/ctv1skc0zr |
| Source of stock number/acquisition |
JSTOR |
| 042 ## - AUTHENTICATION CODE |
|---|
| Authentication code |
dlr |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
BC135 |
| Item number |
.Q48 1981eb |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
PHI |
| Subject category code subdivision |
011000 |
| Source |
bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
164 |
| Edition number |
22 |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
31.02 |
| Source of number |
bcl |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Quine, W. V. |
| Fuller form of name |
(Willard Van Orman) |
| 9 (RLIN) |
133387 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Mathematical logic / |
| Statement of responsibility, etc |
by Willard Van Orman Quine. |
| 250 ## - EDITION STATEMENT |
|---|
| Edition statement |
Rev. ed. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc |
Cambridge, MA : |
| Name of publisher, distributor, etc |
Harvard University Press, |
| Date of publication, distribution, etc |
©1981. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xii, 346 pages) |
| 336 ## - |
|---|
| -- |
text |
| -- |
txt |
| -- |
rdacontent |
| 337 ## - |
|---|
| -- |
computer |
| -- |
c |
| -- |
rdamedia |
| 338 ## - |
|---|
| -- |
online resource |
| -- |
cr |
| -- |
rdacarrier |
| 347 ## - |
|---|
| -- |
data file |
| -- |
rda |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 588 0# - |
|---|
| -- |
Print version record. |
| 506 ## - RESTRICTIONS ON ACCESS NOTE |
|---|
| Materials specified |
Use copy |
| Standardized terminology for access restriction |
Restrictions unspecified |
| Source of term |
star |
| Institution to which field applies |
MiAaHDL |
| 533 ## - REPRODUCTION NOTE |
|---|
| Type of reproduction |
Electronic reproduction. |
| Place of reproduction |
[Place of publication not identified] : |
| Agency responsible for reproduction |
HathiTrust Digital Library, |
| Date of reproduction |
2010. |
| -- |
MiAaHDL |
| 538 ## - SYSTEM DETAILS NOTE |
|---|
| System details note |
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. |
| Uniform Resource Identifier |
<a href="http://purl.oclc.org/DLF/benchrepro0212">http://purl.oclc.org/DLF/benchrepro0212</a> |
| -- |
MiAaHDL |
| 583 1# - ACTION NOTE |
|---|
| Action |
digitized |
| Time/date of action |
2010 |
| Jurisdiction |
HathiTrust Digital Library |
| Status |
committed to preserve |
| Source of term |
pda |
| Institution to which field applies |
MiAaHDL |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
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# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
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# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
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# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
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 ## - LANGUAGE NOTE |
|---|
| Language note |
English. |
| 590 ## - LOCAL NOTE (RLIN) |
|---|
| Local note |
eBooks on EBSCOhost |
| Provenance (VM) [OBSOLETE] |
EBSCO eBook Subscription Academic Collection - Worldwide |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logic, Symbolic and mathematical. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Mathematics. |
| 9 (RLIN) |
37903 |
| 650 #2 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Mathematics |
| 9 (RLIN) |
37903 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logique symbolique et mathématique. |
| 9 (RLIN) |
875634 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Mathématiques. |
| 9 (RLIN) |
48186 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
PHILOSOPHY |
| General subdivision |
Logic. |
| Source of heading or term |
bisacsh |
| 9 (RLIN) |
901006 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logic, Symbolic and mathematical. |
| Source of heading or term |
fast |
| -- |
(OCoLC)fst01002068 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Mathematics. |
| Source of heading or term |
fast |
| -- |
(OCoLC)fst01012163 |
| 9 (RLIN) |
37903 |
| 655 #4 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Electronic books. |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Display text |
Print version: |
| Main entry heading |
Quine, W.V. (Willard Van Orman). |
| Title |
Mathematical logic. |
| Edition |
Rev. ed. |
| Place, publisher, and date of publication |
Cambridge, MA : Harvard University Press, ©1981 |
| Record control number |
(DLC) 80085313 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=282692">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=282692</a> |
| 938 ## - |
|---|
| -- |
EBL - Ebook Library |
| -- |
EBLB |
| -- |
EBL3300750 |
| 938 ## - |
|---|
| -- |
ebrary |
| -- |
EBRY |
| -- |
ebr10331337 |
| 938 ## - |
|---|
| -- |
EBSCOhost |
| -- |
EBSC |
| -- |
282692 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
3105850 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
INOPJ |
