The Calculi of Lambda Conversion. (AM-6), Volume 6 / / Alonzo Church.

The description for this book, The Calculi of Lambda Conversion. (AM-6), Volume 6, will be forthcoming.

Saved in:
Bibliographic Details
Superior document:Title is part of eBook package: De Gruyter Princeton Annals of Mathematics eBook-Package 1940-2020
VerfasserIn:
Place / Publishing House:Princeton, NJ : : Princeton University Press, , [2016]
©1985
Year of Publication:2016
Language:English
Series:Annals of Mathematics Studies ; 6
Online Access:
Physical Description:1 online resource (77 p.)
Tags: Add Tag
No Tags, Be the first to tag this record!
id 9781400881932
ctrlnum (DE-B1597)467959
(OCoLC)979581035
collection bib_alma
record_format marc
spelling Church, Alonzo, author. aut http://id.loc.gov/vocabulary/relators/aut
The Calculi of Lambda Conversion. (AM-6), Volume 6 / Alonzo Church.
Princeton, NJ : Princeton University Press, [2016]
©1985
1 online resource (77 p.)
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
text file PDF rda
Annals of Mathematics Studies ; 6
Frontmatter -- CONTENTS -- Chapter I. INTRODUCTORY -- Chapter II. LAMBDA-CONVERSION -- Chapter III. LAMBDA-DEFINABILITY -- Chapter IV. COMBINATIONS, GÖDEL NUMBERS -- Chapter V. THE CALCULI OF λ-K-CONVERSION AND λ-δ- CONVERSION -- INDEX OP THE PRINCIPAL FORMULAS INTRODUCED BY DEFINITION -- BIBLIOGRAPHY -- CORRECTION AND ADDITIONS
restricted access http://purl.org/coar/access_right/c_16ec online access with authorization star
The description for this book, The Calculi of Lambda Conversion. (AM-6), Volume 6, will be forthcoming.
Issued also in print.
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 31. Jan 2022)
Logic, Symbolic and mathematical.
Recursive functions.
MATHEMATICS / Calculus. bisacsh
2H.
A-normal form.
Addition.
Alphabetical order.
Ambiguity.
Argument of a function.
Axiom.
Bibliography.
Big O notation.
Calculation.
Characteristic function (probability theory).
Combination.
Complex number.
Computability.
Computation.
Consistency.
Corollary.
Definition.
Denotation.
Determination.
Differential calculus.
Enumeration.
Equation.
Exc.
Existential quantification.
Exponentiation.
Finitary.
Finite set.
Formal system.
Frege (programming language).
Function (mathematics).
Gödel numbering.
Identity function.
In the process of.
Integer.
Iteration.
Limit (mathematics).
Logic.
Logical conjunction.
Logical disjunction.
Mathematical induction.
Mathematical logic.
Mathematics.
Metamathematics.
Natural number.
Negation.
Notation.
Null set.
Number theory.
Ordinal number.
Pairing.
Paul Bernays.
Primitive recursive function.
Principia Mathematica.
Propositional function.
Quantifier (logic).
Real number.
Recursion (computer science).
Recursion.
Reduction of order.
Requirement.
Resultant.
Rule of inference.
Scientific notation.
Sequence.
Set theory.
Special case.
Successor function.
Theorem.
Theory.
Transfinite number.
Transfinite.
Truth value.
Uncertainty.
Universal quantification.
Upper and lower bounds.
Variable (mathematics).
Well-formed formula.
Without loss of generality.
Title is part of eBook package: De Gruyter Princeton Annals of Mathematics eBook-Package 1940-2020 9783110494914 ZDB-23-PMB
Title is part of eBook package: De Gruyter Princeton University Press eBook-Package Archive 1927-1999 9783110442496
print 9780691083940
https://doi.org/10.1515/9781400881932
https://www.degruyter.com/isbn/9781400881932
Cover https://www.degruyter.com/document/cover/isbn/9781400881932/original
language English
format eBook
author Church, Alonzo,
Church, Alonzo,
spellingShingle Church, Alonzo,
Church, Alonzo,
The Calculi of Lambda Conversion. (AM-6), Volume 6 /
Annals of Mathematics Studies ;
Frontmatter --
CONTENTS --
Chapter I. INTRODUCTORY --
Chapter II. LAMBDA-CONVERSION --
Chapter III. LAMBDA-DEFINABILITY --
Chapter IV. COMBINATIONS, GÖDEL NUMBERS --
Chapter V. THE CALCULI OF λ-K-CONVERSION AND λ-δ- CONVERSION --
INDEX OP THE PRINCIPAL FORMULAS INTRODUCED BY DEFINITION --
BIBLIOGRAPHY --
CORRECTION AND ADDITIONS
author_facet Church, Alonzo,
Church, Alonzo,
author_variant a c ac
a c ac
author_role VerfasserIn
VerfasserIn
author_sort Church, Alonzo,
title The Calculi of Lambda Conversion. (AM-6), Volume 6 /
title_full The Calculi of Lambda Conversion. (AM-6), Volume 6 / Alonzo Church.
title_fullStr The Calculi of Lambda Conversion. (AM-6), Volume 6 / Alonzo Church.
title_full_unstemmed The Calculi of Lambda Conversion. (AM-6), Volume 6 / Alonzo Church.
title_auth The Calculi of Lambda Conversion. (AM-6), Volume 6 /
title_alt Frontmatter --
CONTENTS --
Chapter I. INTRODUCTORY --
Chapter II. LAMBDA-CONVERSION --
Chapter III. LAMBDA-DEFINABILITY --
Chapter IV. COMBINATIONS, GÖDEL NUMBERS --
Chapter V. THE CALCULI OF λ-K-CONVERSION AND λ-δ- CONVERSION --
INDEX OP THE PRINCIPAL FORMULAS INTRODUCED BY DEFINITION --
BIBLIOGRAPHY --
CORRECTION AND ADDITIONS
title_new The Calculi of Lambda Conversion. (AM-6), Volume 6 /
title_sort the calculi of lambda conversion. (am-6), volume 6 /
series Annals of Mathematics Studies ;
series2 Annals of Mathematics Studies ;
publisher Princeton University Press,
publishDate 2016
physical 1 online resource (77 p.)
Issued also in print.
contents Frontmatter --
CONTENTS --
Chapter I. INTRODUCTORY --
Chapter II. LAMBDA-CONVERSION --
Chapter III. LAMBDA-DEFINABILITY --
Chapter IV. COMBINATIONS, GÖDEL NUMBERS --
Chapter V. THE CALCULI OF λ-K-CONVERSION AND λ-δ- CONVERSION --
INDEX OP THE PRINCIPAL FORMULAS INTRODUCED BY DEFINITION --
BIBLIOGRAPHY --
CORRECTION AND ADDITIONS
isbn 9781400881932
9783110494914
9783110442496
9780691083940
callnumber-first Q - Science
callnumber-subject QA - Mathematics
callnumber-label QA331
callnumber-sort QA 3331 C52 41941EB
url https://doi.org/10.1515/9781400881932
https://www.degruyter.com/isbn/9781400881932
https://www.degruyter.com/document/cover/isbn/9781400881932/original
illustrated Not Illustrated
dewey-hundreds 500 - Science
dewey-tens 510 - Mathematics
dewey-ones 517 - [Unassigned]
dewey-full 517.5
dewey-sort 3517.5
dewey-raw 517.5
dewey-search 517.5
doi_str_mv 10.1515/9781400881932
oclc_num 979581035
work_keys_str_mv AT churchalonzo thecalculioflambdaconversionam6volume6
AT churchalonzo calculioflambdaconversionam6volume6
status_str n
ids_txt_mv (DE-B1597)467959
(OCoLC)979581035
carrierType_str_mv cr
hierarchy_parent_title Title is part of eBook package: De Gruyter Princeton Annals of Mathematics eBook-Package 1940-2020
Title is part of eBook package: De Gruyter Princeton University Press eBook-Package Archive 1927-1999
is_hierarchy_title The Calculi of Lambda Conversion. (AM-6), Volume 6 /
container_title Title is part of eBook package: De Gruyter Princeton Annals of Mathematics eBook-Package 1940-2020
_version_ 1806143645037887488
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05671nam a22016695i 4500</leader><controlfield tag="001">9781400881932</controlfield><controlfield tag="003">DE-B1597</controlfield><controlfield tag="005">20220131112047.0</controlfield><controlfield tag="006">m|||||o||d||||||||</controlfield><controlfield tag="007">cr || ||||||||</controlfield><controlfield tag="008">220131t20161985nju fo d z eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781400881932</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1515/9781400881932</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-B1597)467959</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)979581035</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">nju</subfield><subfield code="c">US-NJ</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA331</subfield><subfield code="b">.C52 1941eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT005000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">517.5</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Church, Alonzo, </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="4"><subfield code="a">The Calculi of Lambda Conversion. (AM-6), Volume 6 /</subfield><subfield code="c">Alonzo Church.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Princeton, NJ : </subfield><subfield code="b">Princeton University Press, </subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©1985</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (77 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="490" ind1="0" ind2=" "><subfield code="a">Annals of Mathematics Studies ;</subfield><subfield code="v">6</subfield></datafield><datafield tag="505" ind1="0" ind2="0"><subfield code="t">Frontmatter -- </subfield><subfield code="t">CONTENTS -- </subfield><subfield code="t">Chapter I. INTRODUCTORY -- </subfield><subfield code="t">Chapter II. LAMBDA-CONVERSION -- </subfield><subfield code="t">Chapter III. LAMBDA-DEFINABILITY -- </subfield><subfield code="t">Chapter IV. COMBINATIONS, GÖDEL NUMBERS -- </subfield><subfield code="t">Chapter V. THE CALCULI OF λ-K-CONVERSION AND λ-δ- CONVERSION -- </subfield><subfield code="t">INDEX OP THE PRINCIPAL FORMULAS INTRODUCED BY DEFINITION -- </subfield><subfield code="t">BIBLIOGRAPHY -- </subfield><subfield code="t">CORRECTION AND ADDITIONS</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="520" ind1=" " ind2=" "><subfield code="a">The description for this book, The Calculi of Lambda Conversion. (AM-6), Volume 6, will be forthcoming.</subfield></datafield><datafield tag="530" ind1=" " ind2=" "><subfield code="a">Issued also in print.</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 31. Jan 2022)</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">Recursive functions.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Calculus.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">2H.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">A-normal form.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Addition.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Alphabetical order.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Ambiguity.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Argument of a function.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Axiom.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Bibliography.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Big O notation.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Calculation.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Characteristic function (probability theory).</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Combination.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Complex number.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Computability.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Computation.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Consistency.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Corollary.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Definition.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Denotation.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Determination.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Differential calculus.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Enumeration.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Equation.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Exc.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Existential quantification.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Exponentiation.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Finitary.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Finite set.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Formal system.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Frege (programming language).</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Function (mathematics).</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Gödel numbering.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Identity function.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">In the process of.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Integer.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Iteration.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Limit (mathematics).</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Logic.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Logical conjunction.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Logical disjunction.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Mathematical induction.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Mathematical logic.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Mathematics.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Metamathematics.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Natural number.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Negation.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Notation.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Null set.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Number theory.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Ordinal number.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Pairing.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Paul Bernays.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Primitive recursive function.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Principia Mathematica.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Propositional function.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Quantifier (logic).</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Real number.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Recursion (computer science).</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Recursion.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Reduction of order.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Requirement.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Resultant.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Rule of inference.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Scientific notation.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Sequence.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Set theory.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Special case.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Successor function.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Theorem.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Theory.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Transfinite number.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Transfinite.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Truth value.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Uncertainty.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Universal quantification.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Upper and lower bounds.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Variable (mathematics).</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Well-formed formula.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Without loss of generality.</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">Princeton Annals of Mathematics eBook-Package 1940-2020</subfield><subfield code="z">9783110494914</subfield><subfield code="o">ZDB-23-PMB</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">Princeton University Press eBook-Package Archive 1927-1999</subfield><subfield code="z">9783110442496</subfield></datafield><datafield tag="776" ind1="0" ind2=" "><subfield code="c">print</subfield><subfield code="z">9780691083940</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1515/9781400881932</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://www.degruyter.com/isbn/9781400881932</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="3">Cover</subfield><subfield code="u">https://www.degruyter.com/document/cover/isbn/9781400881932/original</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">978-3-11-044249-6 Princeton University Press eBook-Package Archive 1927-1999</subfield><subfield code="c">1927</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_MTPY</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_MTPY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EEBKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_ESTMALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_PPALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_STMALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV-deGruyter-alles</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA12STME</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA13ENGE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA18STMEE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA5EBK</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-PMB</subfield><subfield code="c">1940</subfield><subfield code="d">2020</subfield></datafield></record></collection>