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!
|
id |
9780674042469 |
---|---|
ctrlnum |
(DE-B1597)574584 |
collection |
bib_alma |
record_format |
marc |
spelling |
Quine, W. V., author. aut http://id.loc.gov/vocabulary/relators/aut Mathematical Logic, Revised Edition / W. V. Quine. Cambridge, MA : Harvard University Press, [2021] ©1951 1 online resource (358 p.) text txt rdacontent computer c rdamedia online resource cr rdacarrier text file PDF rda Frontmatter -- PREFACE, 1981 -- PREFACE TO THE REVISED EDITION -- PREFACE -- CONTENTS -- Introduction -- CHAPTER ONE. Statelfzents -- 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. Formulae -- 14. Bondage, Freedom, Closure -- 15. Axioms of Quantification -- 16. 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 Formulae -- 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 -- 32. Further Consequences -- 33. 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 -- 49. Familiar Identities of Arithmetic -- 50. 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 restricted access http://purl.org/coar/access_right/c_16ec online access with authorization star Mode of access: Internet via World Wide Web. In English. Description based on online resource; title from PDF title page (publisher's Web site, viewed 29. Jul 2021) Logic, Symbolic and mathematical. Logique symbolique et mathématique. Mathematics. PHILOSOPHY / General. bisacsh Title is part of eBook package: De Gruyter HUP eBook Package Archive 1893-1999 9783110442212 https://doi.org/10.4159/9780674042469 https://www.degruyter.com/isbn/9780674042469 Cover https://www.degruyter.com/cover/covers/9780674042469.jpg |
language |
English |
format |
eBook |
author |
Quine, W. V., Quine, W. V., |
spellingShingle |
Quine, W. V., Quine, W. V., Mathematical Logic, Revised Edition / Frontmatter -- PREFACE, 1981 -- PREFACE TO THE REVISED EDITION -- PREFACE -- CONTENTS -- Introduction -- CHAPTER ONE. Statelfzents -- 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. Formulae -- 14. Bondage, Freedom, Closure -- 15. Axioms of Quantification -- 16. 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 Formulae -- 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 -- 32. Further Consequences -- 33. 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 -- 49. Familiar Identities of Arithmetic -- 50. 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 |
author_facet |
Quine, W. V., Quine, W. V., |
author_variant |
w v q wv wvq w v q wv wvq |
author_role |
VerfasserIn VerfasserIn |
author_sort |
Quine, W. V., |
title |
Mathematical Logic, Revised Edition / |
title_full |
Mathematical Logic, Revised Edition / W. V. Quine. |
title_fullStr |
Mathematical Logic, Revised Edition / W. V. Quine. |
title_full_unstemmed |
Mathematical Logic, Revised Edition / W. V. Quine. |
title_auth |
Mathematical Logic, Revised Edition / |
title_alt |
Frontmatter -- PREFACE, 1981 -- PREFACE TO THE REVISED EDITION -- PREFACE -- CONTENTS -- Introduction -- CHAPTER ONE. Statelfzents -- 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. Formulae -- 14. Bondage, Freedom, Closure -- 15. Axioms of Quantification -- 16. 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 Formulae -- 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 -- 32. Further Consequences -- 33. 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 -- 49. Familiar Identities of Arithmetic -- 50. 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 |
title_new |
Mathematical Logic, Revised Edition / |
title_sort |
mathematical logic, revised edition / |
publisher |
Harvard University Press, |
publishDate |
2021 |
physical |
1 online resource (358 p.) |
contents |
Frontmatter -- PREFACE, 1981 -- PREFACE TO THE REVISED EDITION -- PREFACE -- CONTENTS -- Introduction -- CHAPTER ONE. Statelfzents -- 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. Formulae -- 14. Bondage, Freedom, Closure -- 15. Axioms of Quantification -- 16. 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 Formulae -- 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 -- 32. Further Consequences -- 33. 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 -- 49. Familiar Identities of Arithmetic -- 50. 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 |
isbn |
9780674042469 9783110442212 |
callnumber-first |
B - Philosophy, Psychology, Religion |
callnumber-subject |
BC - Logic |
callnumber-label |
BC135 -- Q48 1981EB |
callnumber-sort |
BC 3135 Q48 41981EB |
url |
https://doi.org/10.4159/9780674042469 https://www.degruyter.com/isbn/9780674042469 https://www.degruyter.com/cover/covers/9780674042469.jpg |
illustrated |
Not Illustrated |
doi_str_mv |
10.4159/9780674042469 |
work_keys_str_mv |
AT quinewv mathematicallogicrevisededition |
status_str |
n |
ids_txt_mv |
(DE-B1597)574584 |
carrierType_str_mv |
cr |
hierarchy_parent_title |
Title is part of eBook package: De Gruyter HUP eBook Package Archive 1893-1999 |
is_hierarchy_title |
Mathematical Logic, Revised Edition / |
container_title |
Title is part of eBook package: De Gruyter HUP eBook Package Archive 1893-1999 |
_version_ |
1806143176036057088 |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04550nam a22006375i 4500</leader><controlfield tag="001">9780674042469</controlfield><controlfield tag="003">DE-B1597</controlfield><controlfield tag="005">20210729020517.0</controlfield><controlfield tag="006">m|||||o||d||||||||</controlfield><controlfield tag="007">cr || ||||||||</controlfield><controlfield tag="008">210729t20211951mau fo d z eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780674042469</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.4159/9780674042469</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-B1597)574584</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-B1597</subfield><subfield code="b">eng</subfield><subfield code="c">DE-B1597</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">mau</subfield><subfield code="c">US-MA</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">BC135 -- Q48 1981eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">PHI000000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Quine, W. V., </subfield><subfield code="e">author.</subfield><subfield code="4">aut</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Mathematical Logic, Revised Edition /</subfield><subfield code="c">W. V. Quine.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, MA : </subfield><subfield code="b">Harvard University Press, </subfield><subfield code="c">[2021]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©1951</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (358 p.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="347" ind1=" " ind2=" "><subfield code="a">text file</subfield><subfield code="b">PDF</subfield><subfield code="2">rda</subfield></datafield><datafield tag="505" ind1="0" ind2="0"><subfield code="t">Frontmatter -- </subfield><subfield code="t">PREFACE, 1981 -- </subfield><subfield code="t">PREFACE TO THE REVISED EDITION -- </subfield><subfield code="t">PREFACE -- </subfield><subfield code="t">CONTENTS -- </subfield><subfield code="t">Introduction -- </subfield><subfield code="t">CHAPTER ONE. Statelfzents -- </subfield><subfield code="t">1. Conjunction, Alternation, and Denial -- </subfield><subfield code="t">2. The Conditional -- </subfield><subfield code="t">3. Iterated Composition -- </subfield><subfield code="t">4. Use versus Mention -- </subfield><subfield code="t">5. Statements about Statements -- </subfield><subfield code="t">6. Quasi-Quotation -- </subfield><subfield code="t">7. Parentheses and Dots -- </subfield><subfield code="t">8. Reduction to Three Primitives -- </subfield><subfield code="t">9. Reduction to One Primitive -- </subfield><subfield code="t">10. Tautology -- </subfield><subfield code="t">11. Selected Tautologous Forms -- </subfield><subfield code="t">CHAPTER TWO. Quantification -- </subfield><subfield code="t">12. The Quantifier -- </subfield><subfield code="t">13. Formulae -- </subfield><subfield code="t">14. Bondage, Freedom, Closure -- </subfield><subfield code="t">15. Axioms of Quantification -- </subfield><subfield code="t">16. Theorems -- </subfield><subfield code="t">17. Metatheorems -- </subfield><subfield code="t">18. Substitutivity of the Biconditional -- </subfield><subfield code="t">19. Existential Quantification -- </subfield><subfield code="t">20. Distribution of Quantifiers -- </subfield><subfield code="t">21. Alphabetic Variance -- </subfield><subfield code="t">CHAPTER THREE. Terms -- </subfield><subfield code="t">22. Class and Member -- </subfield><subfield code="t">23. Logical Formulae -- </subfield><subfield code="t">24. Abstraction -- </subfield><subfield code="t">25. Identity -- </subfield><subfield code="t">26. Abstraction Resumed -- </subfield><subfield code="t">27. Descriptions and Names -- </subfield><subfield code="t">CHAPTER FOUR. Extended Theory of Classes -- </subfield><subfield code="t">28. Stratification -- </subfield><subfield code="t">29. Further Axioms of Membership -- </subfield><subfield code="t">30. Substitutivity of Identity -- </subfield><subfield code="t">31. Substitution for Variables -- </subfield><subfield code="t">32. Further Consequences -- </subfield><subfield code="t">33. Logical Product, Sum, Complement -- </subfield><subfield code="t">34. Inclusion -- </subfield><subfield code="t">35. Unit Classes -- </subfield><subfield code="t">CHAPTER FIVE. Relations -- </subfield><subfield code="t">36. Pairs and Relations -- </subfield><subfield code="t">37. Abstraction of Relations -- </subfield><subfield code="t">38. Converse, Image, Relative Product -- </subfield><subfield code="t">39. The Ancestral -- </subfield><subfield code="t">40. Functions -- </subfield><subfield code="t">41. Abstraction of Functions -- </subfield><subfield code="t">42. Identity and Membership as Relations -- </subfield><subfield code="t">CHAPTER SIX. Number -- </subfield><subfield code="t">43. Zero, One, Successor -- </subfield><subfield code="t">44. Natural Numbers -- </subfield><subfield code="t">45. Counter Sets -- </subfield><subfield code="t">46. Finite and Infinite -- </subfield><subfield code="t">47. Powers of Relations -- </subfield><subfield code="t">48. Arithmetical Sum, Product, Power -- </subfield><subfield code="t">49. Familiar Identities of Arithmetic -- </subfield><subfield code="t">50. Ratios -- </subfield><subfield code="t">51. Real Numbers -- </subfield><subfield code="t">52. Further Extensions -- </subfield><subfield code="t">CHAPTER SEVEN. Syntax -- </subfield><subfield code="t">53. Formality -- </subfield><subfield code="t">54. The Syntactical Primitive -- </subfield><subfield code="t">55. Protosyntax -- </subfield><subfield code="t">56. Formula and Matrix Defined -- </subfield><subfield code="t">57. Axioms of Quantification Defined -- </subfield><subfield code="t">58. Theorem Defined -- </subfield><subfield code="t">59. Protosyntax Self-Applied -- </subfield><subfield code="t">60. Incompleteness -- </subfield><subfield code="t">APPENDIX. Theorem versus Metatheorem -- </subfield><subfield code="t">List of Definitions -- </subfield><subfield code="t">List of Theorems and Metatheorems -- </subfield><subfield code="t">Bibliographical References -- </subfield><subfield code="t">Index of Proper Names -- </subfield><subfield code="t">Index of Subjects</subfield></datafield><datafield tag="506" ind1="0" ind2=" "><subfield code="a">restricted access</subfield><subfield code="u">http://purl.org/coar/access_right/c_16ec</subfield><subfield code="f">online access with authorization</subfield><subfield code="2">star</subfield></datafield><datafield tag="538" ind1=" " ind2=" "><subfield code="a">Mode of access: Internet via World Wide Web.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">In English.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Description based on online resource; title from PDF title page (publisher's Web site, viewed 29. Jul 2021)</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logique symbolique et mathématique.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Mathematics.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PHILOSOPHY / General.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">HUP eBook Package Archive 1893-1999</subfield><subfield code="z">9783110442212</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.4159/9780674042469</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://www.degruyter.com/isbn/9780674042469</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="3">Cover</subfield><subfield code="u">https://www.degruyter.com/cover/covers/9780674042469.jpg</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">978-3-11-044221-2 HUP eBook Package Archive 1893-1999</subfield><subfield code="c">1893</subfield><subfield code="d">1999</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_BACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_CL_PLTLJSIS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EBACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EBKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_ECL_PLTLJSIS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EEBKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_ESSHALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_PPALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_SSHALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV-deGruyter-alles</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA11SSHE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA13ENGE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA17SSHEE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA5EBK</subfield></datafield></record></collection> |