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:
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> |