Ways of Proof Theory / / ed. by Ralf Schindler.
On the occasion of the retirement of Wolfram Pohlers the Institut für Mathematische Logik und Grundlagenforschung of the University of Münster organized a colloquium and a workshop which took place July 17 – 19, 2008. This event brought together proof theorists from many parts of the world who have...
Saved in:
| Superior document: | Title is part of eBook package: De Gruyter DGBA Backlist Complete English Language 2000-2014 PART1 |
|---|---|
| MitwirkendeR: | |
| HerausgeberIn: | |
| Place / Publishing House: | Berlin ;, Boston : : De Gruyter, , [2013] ©2010 |
| Year of Publication: | 2013 |
| Language: | English |
| Series: | Ontos Mathematical Logic ,
2 |
| Online Access: | |
| Physical Description: | 1 online resource (498 p.) :; Zahlr. Abb. |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| id |
9783110324907 |
|---|---|
| ctrlnum |
(DE-B1597)211281 (OCoLC)853268803 |
| collection |
bib_alma |
| record_format |
marc |
| spelling |
Ways of Proof Theory / ed. by Ralf Schindler. Berlin ; Boston : De Gruyter, [2013] ©2010 1 online resource (498 p.) : Zahlr. Abb. text txt rdacontent computer c rdamedia online resource cr rdacarrier text file PDF rda Ontos Mathematical Logic , 2198-2341 ; 2 Frontmatter -- Preface -- Contents -- Wolfram Pohlers—Life and Work -- The Proof Theory of Classical and Constructive Inductive Definitions. A Forty Year Saga, 1968 – 2008 -- A New Approach to Predicative Set Theory -- Characterising Definable Search Problems in Bounded Arithmetic via Proof Notations -- On Topological Models of GLP -- Program Extraction via Typed Realisability for Induction and Coinduction -- Another Reduction of Classical IDν to Constructive IDiν -- Elementary Constructive Operational Set Theory -- Functional Interpretations of Classical Systems -- Towards a Formal Theory of Computability -- Σ11 Choice in a Theory of Sets and Classes -- An Extended Predicative Definition of the Mahlo Universe -- ITTMs with Feedback -- Logspace without Bounds -- Investigations of Subsystems of Second Order Arithmetic and Set Theory in Strength between Π11 -CA and Δ12 -CA + BI: Part I -- Weak Theories of Operations and Types -- Computing Bounds from Arithmetical Proofs -- Backmatter restricted access http://purl.org/coar/access_right/c_16ec online access with authorization star On the occasion of the retirement of Wolfram Pohlers the Institut für Mathematische Logik und Grundlagenforschung of the University of Münster organized a colloquium and a workshop which took place July 17 – 19, 2008. This event brought together proof theorists from many parts of the world who have been acting as teachers, students and collaborators of Wolfram Pohlers and who have been shaping the field of proof theory over the years. The present volume collects papers by the speakers of the colloquium and workshop; and they produce a documentation of the state of the art of contemporary proof theory. 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 28. Feb 2023) Proof theory. Mathematik. Proof Theory. mathematische Logik. PHILOSOPHY / General. bisacsh Avron, Arnon, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Beckmann, Arnold, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Beklemishev, Lev, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Berger, Ulrich, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Bezhanishvili, Guram, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Buchholz, Wilfried, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Buss, Samuel R., contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Cantini, Andrea, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Crosilla, Laura, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Diller, Justus, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Feferman, Solomon, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Huber, Simon, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Icard, Thomas, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Jäger, Gerhard, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Kahle, Reinhard, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Karádais, Basil A., contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Krähenbühl, Jürg, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Lubarsky, Robert S., contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Oitavem, Isabel, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Rathjen, Michael, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Schindler, Ralf, editor. edt http://id.loc.gov/vocabulary/relators/edt Schwichtenberg, Helmut, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Seisenberger, Monika, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Setzer, Anton, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Strahm, Thomas, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Wainer, Stanley S., contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Title is part of eBook package: De Gruyter DGBA Backlist Complete English Language 2000-2014 PART1 9783110238570 Title is part of eBook package: De Gruyter DGBA Backlist Philosophy 2000-2014 (EN) 9783110238488 Title is part of eBook package: De Gruyter DGBA Philosophy 2000 - 2014 9783110636949 ZDB-23-GPH Title is part of eBook package: De Gruyter eBook Package De Gruyter Ontos 2002-2012 9783110331226 Title is part of eBook package: De Gruyter eBook Paket De Gruyter Ontos 2002-2012 9783110331219 ZDB-23-DON print 9783110324525 https://doi.org/10.1515/9783110324907 https://www.degruyter.com/isbn/9783110324907 Cover https://www.degruyter.com/document/cover/isbn/9783110324907/original |
| language |
English |
| format |
eBook |
| author2 |
Avron, Arnon, Avron, Arnon, Beckmann, Arnold, Beckmann, Arnold, Beklemishev, Lev, Beklemishev, Lev, Berger, Ulrich, Berger, Ulrich, Bezhanishvili, Guram, Bezhanishvili, Guram, Buchholz, Wilfried, Buchholz, Wilfried, Buss, Samuel R., Buss, Samuel R., Cantini, Andrea, Cantini, Andrea, Crosilla, Laura, Crosilla, Laura, Diller, Justus, Diller, Justus, Feferman, Solomon, Feferman, Solomon, Huber, Simon, Huber, Simon, Icard, Thomas, Icard, Thomas, Jäger, Gerhard, Jäger, Gerhard, Kahle, Reinhard, Kahle, Reinhard, Karádais, Basil A., Karádais, Basil A., Krähenbühl, Jürg, Krähenbühl, Jürg, Lubarsky, Robert S., Lubarsky, Robert S., Oitavem, Isabel, Oitavem, Isabel, Rathjen, Michael, Rathjen, Michael, Schindler, Ralf, Schindler, Ralf, Schwichtenberg, Helmut, Schwichtenberg, Helmut, Seisenberger, Monika, Seisenberger, Monika, Setzer, Anton, Setzer, Anton, Strahm, Thomas, Strahm, Thomas, Wainer, Stanley S., Wainer, Stanley S., |
| author_facet |
Avron, Arnon, Avron, Arnon, Beckmann, Arnold, Beckmann, Arnold, Beklemishev, Lev, Beklemishev, Lev, Berger, Ulrich, Berger, Ulrich, Bezhanishvili, Guram, Bezhanishvili, Guram, Buchholz, Wilfried, Buchholz, Wilfried, Buss, Samuel R., Buss, Samuel R., Cantini, Andrea, Cantini, Andrea, Crosilla, Laura, Crosilla, Laura, Diller, Justus, Diller, Justus, Feferman, Solomon, Feferman, Solomon, Huber, Simon, Huber, Simon, Icard, Thomas, Icard, Thomas, Jäger, Gerhard, Jäger, Gerhard, Kahle, Reinhard, Kahle, Reinhard, Karádais, Basil A., Karádais, Basil A., Krähenbühl, Jürg, Krähenbühl, Jürg, Lubarsky, Robert S., Lubarsky, Robert S., Oitavem, Isabel, Oitavem, Isabel, Rathjen, Michael, Rathjen, Michael, Schindler, Ralf, Schindler, Ralf, Schwichtenberg, Helmut, Schwichtenberg, Helmut, Seisenberger, Monika, Seisenberger, Monika, Setzer, Anton, Setzer, Anton, Strahm, Thomas, Strahm, Thomas, Wainer, Stanley S., Wainer, Stanley S., |
| author2_variant |
a a aa a a aa a b ab a b ab l b lb l b lb u b ub u b ub g b gb g b gb w b wb w b wb s r b sr srb s r b sr srb a c ac a c ac l c lc l c lc j d jd j d jd s f sf s f sf s h sh s h sh t i ti t i ti g j gj g j gj r k rk r k rk b a k ba bak b a k ba bak j k jk j k jk r s l rs rsl r s l rs rsl i o io i o io m r mr m r mr r s rs r s rs h s hs h s hs m s ms m s ms a s as a s as t s ts t s ts s s w ss ssw s s w ss ssw |
| author2_role |
MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR HerausgeberIn HerausgeberIn MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR |
| author_sort |
Avron, Arnon, |
| title |
Ways of Proof Theory / |
| spellingShingle |
Ways of Proof Theory / Ontos Mathematical Logic , Frontmatter -- Preface -- Contents -- Wolfram Pohlers—Life and Work -- The Proof Theory of Classical and Constructive Inductive Definitions. A Forty Year Saga, 1968 – 2008 -- A New Approach to Predicative Set Theory -- Characterising Definable Search Problems in Bounded Arithmetic via Proof Notations -- On Topological Models of GLP -- Program Extraction via Typed Realisability for Induction and Coinduction -- Another Reduction of Classical IDν to Constructive IDiν -- Elementary Constructive Operational Set Theory -- Functional Interpretations of Classical Systems -- Towards a Formal Theory of Computability -- Σ11 Choice in a Theory of Sets and Classes -- An Extended Predicative Definition of the Mahlo Universe -- ITTMs with Feedback -- Logspace without Bounds -- Investigations of Subsystems of Second Order Arithmetic and Set Theory in Strength between Π11 -CA and Δ12 -CA + BI: Part I -- Weak Theories of Operations and Types -- Computing Bounds from Arithmetical Proofs -- Backmatter |
| title_full |
Ways of Proof Theory / ed. by Ralf Schindler. |
| title_fullStr |
Ways of Proof Theory / ed. by Ralf Schindler. |
| title_full_unstemmed |
Ways of Proof Theory / ed. by Ralf Schindler. |
| title_auth |
Ways of Proof Theory / |
| title_alt |
Frontmatter -- Preface -- Contents -- Wolfram Pohlers—Life and Work -- The Proof Theory of Classical and Constructive Inductive Definitions. A Forty Year Saga, 1968 – 2008 -- A New Approach to Predicative Set Theory -- Characterising Definable Search Problems in Bounded Arithmetic via Proof Notations -- On Topological Models of GLP -- Program Extraction via Typed Realisability for Induction and Coinduction -- Another Reduction of Classical IDν to Constructive IDiν -- Elementary Constructive Operational Set Theory -- Functional Interpretations of Classical Systems -- Towards a Formal Theory of Computability -- Σ11 Choice in a Theory of Sets and Classes -- An Extended Predicative Definition of the Mahlo Universe -- ITTMs with Feedback -- Logspace without Bounds -- Investigations of Subsystems of Second Order Arithmetic and Set Theory in Strength between Π11 -CA and Δ12 -CA + BI: Part I -- Weak Theories of Operations and Types -- Computing Bounds from Arithmetical Proofs -- Backmatter |
| title_new |
Ways of Proof Theory / |
| title_sort |
ways of proof theory / |
| series |
Ontos Mathematical Logic , |
| series2 |
Ontos Mathematical Logic , |
| publisher |
De Gruyter, |
| publishDate |
2013 |
| physical |
1 online resource (498 p.) : Zahlr. Abb. Issued also in print. |
| contents |
Frontmatter -- Preface -- Contents -- Wolfram Pohlers—Life and Work -- The Proof Theory of Classical and Constructive Inductive Definitions. A Forty Year Saga, 1968 – 2008 -- A New Approach to Predicative Set Theory -- Characterising Definable Search Problems in Bounded Arithmetic via Proof Notations -- On Topological Models of GLP -- Program Extraction via Typed Realisability for Induction and Coinduction -- Another Reduction of Classical IDν to Constructive IDiν -- Elementary Constructive Operational Set Theory -- Functional Interpretations of Classical Systems -- Towards a Formal Theory of Computability -- Σ11 Choice in a Theory of Sets and Classes -- An Extended Predicative Definition of the Mahlo Universe -- ITTMs with Feedback -- Logspace without Bounds -- Investigations of Subsystems of Second Order Arithmetic and Set Theory in Strength between Π11 -CA and Δ12 -CA + BI: Part I -- Weak Theories of Operations and Types -- Computing Bounds from Arithmetical Proofs -- Backmatter |
| isbn |
9783110324907 9783110238570 9783110238488 9783110636949 9783110331226 9783110331219 9783110324525 |
| issn |
2198-2341 ; |
| callnumber-first |
Q - Science |
| callnumber-subject |
QA - Mathematics |
| callnumber-label |
QA9 |
| callnumber-sort |
QA 19.54 S35 42010 |
| url |
https://doi.org/10.1515/9783110324907 https://www.degruyter.com/isbn/9783110324907 https://www.degruyter.com/document/cover/isbn/9783110324907/original |
| illustrated |
Not Illustrated |
| dewey-hundreds |
500 - Science |
| dewey-tens |
510 - Mathematics |
| dewey-ones |
511 - General principles of mathematics |
| dewey-full |
511.3 |
| dewey-sort |
3511.3 |
| dewey-raw |
511.3 |
| dewey-search |
511.3 |
| doi_str_mv |
10.1515/9783110324907 |
| oclc_num |
853268803 |
| work_keys_str_mv |
AT avronarnon waysofprooftheory AT beckmannarnold waysofprooftheory AT beklemishevlev waysofprooftheory AT bergerulrich waysofprooftheory AT bezhanishviliguram waysofprooftheory AT buchholzwilfried waysofprooftheory AT busssamuelr waysofprooftheory AT cantiniandrea waysofprooftheory AT crosillalaura waysofprooftheory AT dillerjustus waysofprooftheory AT fefermansolomon waysofprooftheory AT hubersimon waysofprooftheory AT icardthomas waysofprooftheory AT jagergerhard waysofprooftheory AT kahlereinhard waysofprooftheory AT karadaisbasila waysofprooftheory AT krahenbuhljurg waysofprooftheory AT lubarskyroberts waysofprooftheory AT oitavemisabel waysofprooftheory AT rathjenmichael waysofprooftheory AT schindlerralf waysofprooftheory AT schwichtenberghelmut waysofprooftheory AT seisenbergermonika waysofprooftheory AT setzeranton waysofprooftheory AT strahmthomas waysofprooftheory AT wainerstanleys waysofprooftheory |
| status_str |
n |
| ids_txt_mv |
(DE-B1597)211281 (OCoLC)853268803 |
| carrierType_str_mv |
cr |
| hierarchy_parent_title |
Title is part of eBook package: De Gruyter DGBA Backlist Complete English Language 2000-2014 PART1 Title is part of eBook package: De Gruyter DGBA Backlist Philosophy 2000-2014 (EN) Title is part of eBook package: De Gruyter DGBA Philosophy 2000 - 2014 Title is part of eBook package: De Gruyter eBook Package De Gruyter Ontos 2002-2012 Title is part of eBook package: De Gruyter eBook Paket De Gruyter Ontos 2002-2012 |
| is_hierarchy_title |
Ways of Proof Theory / |
| container_title |
Title is part of eBook package: De Gruyter DGBA Backlist Complete English Language 2000-2014 PART1 |
| author2_original_writing_str_mv |
noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField |
| _version_ |
1770177557596995584 |
| fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>07363nam a22011295i 4500</leader><controlfield tag="001">9783110324907</controlfield><controlfield tag="003">DE-B1597</controlfield><controlfield tag="005">20230228123812.0</controlfield><controlfield tag="006">m|||||o||d||||||||</controlfield><controlfield tag="007">cr || ||||||||</controlfield><controlfield tag="008">230228t20132010gw fo d z eng d</controlfield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">(OCoLC)978589469</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783110324907</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1515/9783110324907</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-B1597)211281</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)853268803</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">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9.54</subfield><subfield code="b">.S35 2010</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">PHI000000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">511.3</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Ways of Proof Theory /</subfield><subfield code="c">ed. by Ralf Schindler.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ;</subfield><subfield code="a">Boston : </subfield><subfield code="b">De Gruyter, </subfield><subfield code="c">[2013]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (498 p.) :</subfield><subfield code="b">Zahlr. Abb.</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">Ontos Mathematical Logic ,</subfield><subfield code="x">2198-2341 ;</subfield><subfield code="v">2</subfield></datafield><datafield tag="505" ind1="0" ind2="0"><subfield code="t">Frontmatter -- </subfield><subfield code="t">Preface -- </subfield><subfield code="t">Contents -- </subfield><subfield code="t">Wolfram Pohlers—Life and Work -- </subfield><subfield code="t">The Proof Theory of Classical and Constructive Inductive Definitions. A Forty Year Saga, 1968 – 2008 -- </subfield><subfield code="t">A New Approach to Predicative Set Theory -- </subfield><subfield code="t">Characterising Definable Search Problems in Bounded Arithmetic via Proof Notations -- </subfield><subfield code="t">On Topological Models of GLP -- </subfield><subfield code="t">Program Extraction via Typed Realisability for Induction and Coinduction -- </subfield><subfield code="t">Another Reduction of Classical IDν to Constructive IDiν -- </subfield><subfield code="t">Elementary Constructive Operational Set Theory -- </subfield><subfield code="t">Functional Interpretations of Classical Systems -- </subfield><subfield code="t">Towards a Formal Theory of Computability -- </subfield><subfield code="t">Σ11 Choice in a Theory of Sets and Classes -- </subfield><subfield code="t">An Extended Predicative Definition of the Mahlo Universe -- </subfield><subfield code="t">ITTMs with Feedback -- </subfield><subfield code="t">Logspace without Bounds -- </subfield><subfield code="t">Investigations of Subsystems of Second Order Arithmetic and Set Theory in Strength between Π11 -CA and Δ12 -CA + BI: Part I -- </subfield><subfield code="t">Weak Theories of Operations and Types -- </subfield><subfield code="t">Computing Bounds from Arithmetical Proofs -- </subfield><subfield code="t">Backmatter</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">On the occasion of the retirement of Wolfram Pohlers the Institut für Mathematische Logik und Grundlagenforschung of the University of Münster organized a colloquium and a workshop which took place July 17 – 19, 2008. This event brought together proof theorists from many parts of the world who have been acting as teachers, students and collaborators of Wolfram Pohlers and who have been shaping the field of proof theory over the years. The present volume collects papers by the speakers of the colloquium and workshop; and they produce a documentation of the state of the art of contemporary proof theory.</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 28. Feb 2023)</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Proof theory.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Proof Theory.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">mathematische Logik.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PHILOSOPHY / General.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Avron, Arnon, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Beckmann, Arnold, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Beklemishev, Lev, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Berger, Ulrich, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bezhanishvili, Guram, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Buchholz, Wilfried, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Buss, Samuel R., </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cantini, Andrea, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Crosilla, Laura, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Diller, Justus, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Feferman, Solomon, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Huber, Simon, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Icard, Thomas, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Jäger, Gerhard, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kahle, Reinhard, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Karádais, Basil A., </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Krähenbühl, Jürg, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lubarsky, Robert S., </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Oitavem, Isabel, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rathjen, Michael, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schindler, Ralf, </subfield><subfield code="e">editor.</subfield><subfield code="4">edt</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schwichtenberg, Helmut, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Seisenberger, Monika, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Setzer, Anton, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Strahm, Thomas, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wainer, Stanley S., </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</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">DGBA Backlist Complete English Language 2000-2014 PART1</subfield><subfield code="z">9783110238570</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">DGBA Backlist Philosophy 2000-2014 (EN)</subfield><subfield code="z">9783110238488</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">DGBA Philosophy 2000 - 2014</subfield><subfield code="z">9783110636949</subfield><subfield code="o">ZDB-23-GPH</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">eBook Package De Gruyter Ontos 2002-2012</subfield><subfield code="z">9783110331226</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">eBook Paket De Gruyter Ontos 2002-2012</subfield><subfield code="z">9783110331219</subfield><subfield code="o">ZDB-23-DON</subfield></datafield><datafield tag="776" ind1="0" ind2=" "><subfield code="c">print</subfield><subfield code="z">9783110324525</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1515/9783110324907</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://www.degruyter.com/isbn/9783110324907</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="3">Cover</subfield><subfield code="u">https://www.degruyter.com/document/cover/isbn/9783110324907/original</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">978-3-11-023848-8 DGBA Backlist Philosophy 2000-2014 (EN)</subfield><subfield code="c">2000</subfield><subfield code="d">2014</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">978-3-11-023857-0 DGBA Backlist Complete English Language 2000-2014 PART1</subfield><subfield code="c">2000</subfield><subfield code="d">2014</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">978-3-11-033122-6 eBook Package De Gruyter Ontos 2002-2012</subfield><subfield code="c">2002</subfield><subfield code="d">2012</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_DGALL</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_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><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-DON</subfield><subfield code="c">2002</subfield><subfield code="d">2012</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-GPH</subfield><subfield code="c">2000</subfield><subfield code="d">2014</subfield></datafield></record></collection> |