Sets and proofs: invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge ; New York
Cambridge University Press
1999
|
| Schriftenreihe: | London Mathematical Society lecture note series
258 |
| Schlagworte: | |
| Online-Zugang: | FAW01 FAW02 Volltext |
| Beschreibung: | Description based on print version record |
| Beschreibung: | 1 online resource (ix, 436 pages) illustrations |
| ISBN: | 0521635497 1107089123 1107325943 9780521635493 9781107089129 9781107325944 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043034583 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151120s1999 |||| o||u| ||||||eng d | ||
| 020 | |a 0521635497 |9 0-521-63549-7 | ||
| 020 | |a 1107089123 |c electronic bk. |9 1-107-08912-3 | ||
| 020 | |a 1107325943 |c electronic bk. |9 1-107-32594-3 | ||
| 020 | |a 9780521635493 |9 978-0-521-63549-3 | ||
| 020 | |a 9781107089129 |c electronic bk. |9 978-1-107-08912-9 | ||
| 020 | |a 9781107325944 |c electronic bk. |9 978-1-107-32594-4 | ||
| 035 | |a (OCoLC)861692801 | ||
| 035 | |a (DE-599)BVBBV043034583 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 511.3/22 |2 22 | |
| 110 | 2 | |a Logic Colloquium <1997, Leeds, England> |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Sets and proofs |b invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 |c edited by S. Barry Cooper, John K. Truss |
| 264 | 1 | |a Cambridge ; New York |b Cambridge University Press |c 1999 | |
| 300 | |a 1 online resource (ix, 436 pages) |b illustrations | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a London Mathematical Society lecture note series |v 258 | |
| 500 | |a Description based on print version record | ||
| 505 | 8 | |a An introduction to finitary analyses of proof figures / T. Arai -- What mathematical truth could not be -- II / P. Benacerraf -- Proof search in constructive logics / R. Dyckhoff and L.F. Pinto -- David's trick / S.D. Friedman -- A semantical calculus for intuitionistic propositional logic / J. Hudelmaier -- An iteration model violating the singular cardinals hypothesis / P. Koepke -- An introduction to core model theory / B. Löwe and J.R. Steel -- Games of countable length / I. Neeman -- On the complexity of the propositional calculus / P. Pudlak -- The realm of ordinal analysis / M. Rathjen -- Covering properties of core models / E. Schimmerling -- Ordinal systems / A. Setzer -- Polish group topologies / S. Solecki -- Forcing closed unbounded subsets of [symbol] [subscript (omega+1)] / M.C. Stanley -- First steps into metapredicativity in explicit mathematics / T. Strahm -- What makes a (pointwise) subrecursive hierarchy slow growing? / A. Weiermann -- Minimality arguments for infinite time Turing degrees / P.D. Welch | |
| 650 | 7 | |a Ensembles, Théorie des |2 ram | |
| 650 | 7 | |a Preuve, Théorie de la |2 ram | |
| 650 | 7 | |a Logica |2 gtt | |
| 650 | 7 | |a Verzamelingen (wiskunde) |2 gtt | |
| 650 | 7 | |a Bewijstheorie |2 gtt | |
| 650 | 7 | |a Teoria dos conjuntos (congressos) |2 larpcal | |
| 650 | 7 | |a Lógica matemática (congressos) |2 larpcal | |
| 650 | 7 | |a MATHEMATICS / General |2 bisacsh | |
| 650 | 7 | |a Proof theory |2 fast | |
| 650 | 7 | |a Set theory |2 fast | |
| 650 | 4 | |a Logik | |
| 650 | 4 | |a Set theory |v Congresses | |
| 650 | 4 | |a Proof theory |v Congresses | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Cooper, S. B. |e Sonstige |4 oth | |
| 700 | 1 | |a Truss, J. K. |e Sonstige |4 oth | |
| 710 | 2 | |a Association for Symbolic Logic |e Sonstige |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |a Logic Colloquium (1997 : Leeds, England) |t Sets and proofs |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=569275 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028459233 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=569275 |l FAW01 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=569275 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804175393541849088 |
|---|---|
| any_adam_object | |
| author_corporate | Logic Colloquium <1997, Leeds, England> |
| author_corporate_role | aut |
| author_facet | Logic Colloquium <1997, Leeds, England> |
| author_sort | Logic Colloquium <1997, Leeds, England> |
| building | Verbundindex |
| bvnumber | BV043034583 |
| collection | ZDB-4-EBA |
| contents | An introduction to finitary analyses of proof figures / T. Arai -- What mathematical truth could not be -- II / P. Benacerraf -- Proof search in constructive logics / R. Dyckhoff and L.F. Pinto -- David's trick / S.D. Friedman -- A semantical calculus for intuitionistic propositional logic / J. Hudelmaier -- An iteration model violating the singular cardinals hypothesis / P. Koepke -- An introduction to core model theory / B. Löwe and J.R. Steel -- Games of countable length / I. Neeman -- On the complexity of the propositional calculus / P. Pudlak -- The realm of ordinal analysis / M. Rathjen -- Covering properties of core models / E. Schimmerling -- Ordinal systems / A. Setzer -- Polish group topologies / S. Solecki -- Forcing closed unbounded subsets of [symbol] [subscript (omega+1)] / M.C. Stanley -- First steps into metapredicativity in explicit mathematics / T. Strahm -- What makes a (pointwise) subrecursive hierarchy slow growing? / A. Weiermann -- Minimality arguments for infinite time Turing degrees / P.D. Welch |
| ctrlnum | (OCoLC)861692801 (DE-599)BVBBV043034583 |
| dewey-full | 511.3/22 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3/22 |
| dewey-search | 511.3/22 |
| dewey-sort | 3511.3 222 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03996nmm a2200673zcb4500</leader><controlfield tag="001">BV043034583</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151120s1999 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521635497</subfield><subfield code="9">0-521-63549-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1107089123</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">1-107-08912-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1107325943</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">1-107-32594-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521635493</subfield><subfield code="9">978-0-521-63549-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781107089129</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-1-107-08912-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781107325944</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-1-107-32594-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)861692801</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043034583</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3/22</subfield><subfield code="2">22</subfield></datafield><datafield tag="110" ind1="2" ind2=" "><subfield code="a">Logic Colloquium <1997, Leeds, England></subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Sets and proofs</subfield><subfield code="b">invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997</subfield><subfield code="c">edited by S. Barry Cooper, John K. Truss</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge ; New York</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (ix, 436 pages)</subfield><subfield code="b">illustrations</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">London Mathematical Society lecture note series</subfield><subfield code="v">258</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Description based on print version record</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">An introduction to finitary analyses of proof figures / T. Arai -- What mathematical truth could not be -- II / P. Benacerraf -- Proof search in constructive logics / R. Dyckhoff and L.F. Pinto -- David's trick / S.D. Friedman -- A semantical calculus for intuitionistic propositional logic / J. Hudelmaier -- An iteration model violating the singular cardinals hypothesis / P. Koepke -- An introduction to core model theory / B. Löwe and J.R. Steel -- Games of countable length / I. Neeman -- On the complexity of the propositional calculus / P. Pudlak -- The realm of ordinal analysis / M. Rathjen -- Covering properties of core models / E. Schimmerling -- Ordinal systems / A. Setzer -- Polish group topologies / S. Solecki -- Forcing closed unbounded subsets of [symbol] [subscript (omega+1)] / M.C. Stanley -- First steps into metapredicativity in explicit mathematics / T. Strahm -- What makes a (pointwise) subrecursive hierarchy slow growing? / A. Weiermann -- Minimality arguments for infinite time Turing degrees / P.D. Welch</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Ensembles, Théorie des</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Preuve, Théorie de la</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Verzamelingen (wiskunde)</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Bewijstheorie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Teoria dos conjuntos (congressos)</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Lógica matemática (congressos)</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / General</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Proof theory</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Set theory</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Set theory</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Proof theory</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cooper, S. B.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Truss, J. K.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Association for Symbolic Logic</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="a">Logic Colloquium (1997 : Leeds, England)</subfield><subfield code="t">Sets and proofs</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=569275</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028459233</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=569275</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=569275</subfield><subfield code="l">FAW02</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043034583 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T07:15:35Z |
| institution | BVB |
| isbn | 0521635497 1107089123 1107325943 9780521635493 9781107089129 9781107325944 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028459233 |
| oclc_num | 861692801 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 online resource (ix, 436 pages) illustrations |
| psigel | ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA |
| publishDate | 1999 |
| publishDateSearch | 1999 |
| publishDateSort | 1999 |
| publisher | Cambridge University Press |
| record_format | marc |
| series2 | London Mathematical Society lecture note series |
| spelling | Logic Colloquium <1997, Leeds, England> Verfasser aut Sets and proofs invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 edited by S. Barry Cooper, John K. Truss Cambridge ; New York Cambridge University Press 1999 1 online resource (ix, 436 pages) illustrations txt rdacontent c rdamedia cr rdacarrier London Mathematical Society lecture note series 258 Description based on print version record An introduction to finitary analyses of proof figures / T. Arai -- What mathematical truth could not be -- II / P. Benacerraf -- Proof search in constructive logics / R. Dyckhoff and L.F. Pinto -- David's trick / S.D. Friedman -- A semantical calculus for intuitionistic propositional logic / J. Hudelmaier -- An iteration model violating the singular cardinals hypothesis / P. Koepke -- An introduction to core model theory / B. Löwe and J.R. Steel -- Games of countable length / I. Neeman -- On the complexity of the propositional calculus / P. Pudlak -- The realm of ordinal analysis / M. Rathjen -- Covering properties of core models / E. Schimmerling -- Ordinal systems / A. Setzer -- Polish group topologies / S. Solecki -- Forcing closed unbounded subsets of [symbol] [subscript (omega+1)] / M.C. Stanley -- First steps into metapredicativity in explicit mathematics / T. Strahm -- What makes a (pointwise) subrecursive hierarchy slow growing? / A. Weiermann -- Minimality arguments for infinite time Turing degrees / P.D. Welch Ensembles, Théorie des ram Preuve, Théorie de la ram Logica gtt Verzamelingen (wiskunde) gtt Bewijstheorie gtt Teoria dos conjuntos (congressos) larpcal Lógica matemática (congressos) larpcal MATHEMATICS / General bisacsh Proof theory fast Set theory fast Logik Set theory Congresses Proof theory Congresses Mathematische Logik (DE-588)4037951-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Mathematische Logik (DE-588)4037951-6 s 1\p DE-604 Cooper, S. B. Sonstige oth Truss, J. K. Sonstige oth Association for Symbolic Logic Sonstige oth Erscheint auch als Druck-Ausgabe Logic Colloquium (1997 : Leeds, England) Sets and proofs http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=569275 Aggregator Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Sets and proofs invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 An introduction to finitary analyses of proof figures / T. Arai -- What mathematical truth could not be -- II / P. Benacerraf -- Proof search in constructive logics / R. Dyckhoff and L.F. Pinto -- David's trick / S.D. Friedman -- A semantical calculus for intuitionistic propositional logic / J. Hudelmaier -- An iteration model violating the singular cardinals hypothesis / P. Koepke -- An introduction to core model theory / B. Löwe and J.R. Steel -- Games of countable length / I. Neeman -- On the complexity of the propositional calculus / P. Pudlak -- The realm of ordinal analysis / M. Rathjen -- Covering properties of core models / E. Schimmerling -- Ordinal systems / A. Setzer -- Polish group topologies / S. Solecki -- Forcing closed unbounded subsets of [symbol] [subscript (omega+1)] / M.C. Stanley -- First steps into metapredicativity in explicit mathematics / T. Strahm -- What makes a (pointwise) subrecursive hierarchy slow growing? / A. Weiermann -- Minimality arguments for infinite time Turing degrees / P.D. Welch Ensembles, Théorie des ram Preuve, Théorie de la ram Logica gtt Verzamelingen (wiskunde) gtt Bewijstheorie gtt Teoria dos conjuntos (congressos) larpcal Lógica matemática (congressos) larpcal MATHEMATICS / General bisacsh Proof theory fast Set theory fast Logik Set theory Congresses Proof theory Congresses Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)1071861417 |
| title | Sets and proofs invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 |
| title_auth | Sets and proofs invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 |
| title_exact_search | Sets and proofs invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 |
| title_full | Sets and proofs invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 edited by S. Barry Cooper, John K. Truss |
| title_fullStr | Sets and proofs invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 edited by S. Barry Cooper, John K. Truss |
| title_full_unstemmed | Sets and proofs invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 edited by S. Barry Cooper, John K. Truss |
| title_short | Sets and proofs |
| title_sort | sets and proofs invited papers from logic colloquium 97 european meeting of the association for symbolic logic leeds july 1997 |
| title_sub | invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 |
| topic | Ensembles, Théorie des ram Preuve, Théorie de la ram Logica gtt Verzamelingen (wiskunde) gtt Bewijstheorie gtt Teoria dos conjuntos (congressos) larpcal Lógica matemática (congressos) larpcal MATHEMATICS / General bisacsh Proof theory fast Set theory fast Logik Set theory Congresses Proof theory Congresses Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Ensembles, Théorie des Preuve, Théorie de la Logica Verzamelingen (wiskunde) Bewijstheorie Teoria dos conjuntos (congressos) Lógica matemática (congressos) MATHEMATICS / General Proof theory Set theory Logik Set theory Congresses Proof theory Congresses Mathematische Logik Konferenzschrift |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=569275 |
| work_keys_str_mv | AT logiccolloquium1997leedsengland setsandproofsinvitedpapersfromlogiccolloquium97europeanmeetingoftheassociationforsymboliclogicleedsjuly1997 AT coopersb setsandproofsinvitedpapersfromlogiccolloquium97europeanmeetingoftheassociationforsymboliclogicleedsjuly1997 AT trussjk setsandproofsinvitedpapersfromlogiccolloquium97europeanmeetingoftheassociationforsymboliclogicleedsjuly1997 AT associationforsymboliclogic setsandproofsinvitedpapersfromlogiccolloquium97europeanmeetingoftheassociationforsymboliclogicleedsjuly1997 |