Models and computability: invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cambridge
Cambridge University Press
1999
|
| Series: | London Mathematical Society lecture note series
259 |
| Subjects: | |
| Online Access: | FAW01 FAW02 Volltext |
| Item Description: | Includes bibliographical references Continuous functionals of dependent and transfinite types - U. Berger -- - Degree-theoretic aspects of computably enumerable reals - C.S. Calude ... [et al.] -- - Simplicity and independence for pseudo-algebraically closed fields - Z. Chatzidakis -- - Clockwork or turing U/universe? -- remarks on causal determinism and computability - S.B. Cooper -- - Techniques oriented survey of bounded queries - W. Gasarch and F. Stephan -- - Relative categoricity in abelian groups - W.A. Hodges -- - Computability and complexity revisited - N.D. Jones -- - Effective model theory : the number of models and their complexity - B. Khoussainov and R.A. Shore -- - Survey on canonical bases in simple theories - B. Kim -- - True approximations and models of arithmetic - J.F. Knight -- - On the topological stability conjecture - L. Newelski -- - Mahlo-universe of effective domains with totality - D. Normann -- - Logic and decision making - D.E. Over -- - Sheaf of locally definable scalars over a ring - M.Y. Prest -- - Human styles of quantificational reasoning - L.J. Rips -- - Recursion theoretic memories 1954-1978 - G.E. Sacks -- - Fields definable in simple groups - K. Tent -- - Combinatory algebra for sequential functionals of finite type - J. Van Oosten -- - Model theory of analytic and smooth functions - A.J. Wilkie |
| Physical Description: | 1 Online-Ressource (ix, 419 p.) |
| ISBN: | 0521635500 1107362709 9780521635509 9781107362703 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043068887 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151126s1999 |||| o||u| ||||||eng d | ||
| 020 | |a 0521635500 |9 0-521-63550-0 | ||
| 020 | |a 1107362709 |c electronic bk. |9 1-107-36270-9 | ||
| 020 | |a 9780521635509 |9 978-0-521-63550-9 | ||
| 020 | |a 9781107362703 |c electronic bk. |9 978-1-107-36270-3 | ||
| 035 | |a (OCoLC)837167953 | ||
| 035 | |a (DE-599)BVBBV043068887 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 511.3 |2 22 | |
| 110 | 2 | |a Logic Colloquium <1997, Leeds, England> |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Models and computability |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 |b Cambridge University Press |c 1999 | |
| 300 | |a 1 Online-Ressource (ix, 419 p.) | ||
| 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 259 | |
| 500 | |a Includes bibliographical references | ||
| 500 | |a Continuous functionals of dependent and transfinite types - U. Berger -- - Degree-theoretic aspects of computably enumerable reals - C.S. Calude ... [et al.] -- - Simplicity and independence for pseudo-algebraically closed fields - Z. Chatzidakis -- - Clockwork or turing U/universe? -- remarks on causal determinism and computability - S.B. Cooper -- - Techniques oriented survey of bounded queries - W. Gasarch and F. Stephan -- - Relative categoricity in abelian groups - W.A. Hodges -- - Computability and complexity revisited - N.D. Jones -- - Effective model theory : the number of models and their complexity - B. Khoussainov and R.A. Shore -- - Survey on canonical bases in simple theories - B. Kim -- - True approximations and models of arithmetic - J.F. Knight -- - On the topological stability conjecture - L. Newelski -- - Mahlo-universe of effective domains with totality - D. Normann -- - Logic and decision making - D.E. Over -- - Sheaf of locally definable scalars over a ring - M.Y. Prest -- - Human styles of quantificational reasoning - L.J. Rips -- - Recursion theoretic memories 1954-1978 - G.E. Sacks -- - Fields definable in simple groups - K. Tent -- - Combinatory algebra for sequential functionals of finite type - J. Van Oosten -- - Model theory of analytic and smooth functions - A.J. Wilkie | ||
| 650 | 7 | |a Logique symbolique et mathématique / Congrès |2 ram | |
| 650 | 7 | |a Systèmes informatiques / Congrès |2 ram | |
| 650 | 7 | |a Berekenbaarheid |2 gtt | |
| 650 | 7 | |a Verzamelingen (wiskunde) |2 gtt | |
| 650 | 7 | |a Bewijstheorie |2 gtt | |
| 650 | 7 | |a Logica |2 gtt | |
| 650 | 7 | |a Teoria dos modelos (congressos) |2 larpcal | |
| 650 | 7 | |a Lógica matemática (congressos) |2 larpcal | |
| 650 | 7 | |a MATHEMATICS / Infinity |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS / Logic |2 bisacsh | |
| 650 | 7 | |a Computable functions |2 fast | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 4 | |a Logik | |
| 650 | 4 | |a Logic, Symbolic and mathematical |v Congresses | |
| 650 | 4 | |a Computable functions |v Congresses | |
| 650 | 0 | 7 | |a Modelltheorie |0 (DE-588)4114617-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechenbarkeit |0 (DE-588)4138368-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Modelltheorie |0 (DE-588)4114617-7 |D s |
| 689 | 0 | 1 | |a Berechenbarkeit |0 (DE-588)4138368-0 |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 | |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=552643 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028493079 | ||
| 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=552643 |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=552643 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Record in the Search Index
| _version_ | 1804175450301267968 |
|---|---|
| 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 | BV043068887 |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)837167953 (DE-599)BVBBV043068887 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| 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>04304nmm a2200685zcb4500</leader><controlfield tag="001">BV043068887</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151126s1999 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521635500</subfield><subfield code="9">0-521-63550-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1107362709</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">1-107-36270-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521635509</subfield><subfield code="9">978-0-521-63550-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781107362703</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-1-107-36270-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)837167953</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043068887</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</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</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">Models and computability</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</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (ix, 419 p.)</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">259</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Continuous functionals of dependent and transfinite types - U. Berger -- - Degree-theoretic aspects of computably enumerable reals - C.S. Calude ... [et al.] -- - Simplicity and independence for pseudo-algebraically closed fields - Z. Chatzidakis -- - Clockwork or turing U/universe? -- remarks on causal determinism and computability - S.B. Cooper -- - Techniques oriented survey of bounded queries - W. Gasarch and F. Stephan -- - Relative categoricity in abelian groups - W.A. Hodges -- - Computability and complexity revisited - N.D. Jones -- - Effective model theory : the number of models and their complexity - B. Khoussainov and R.A. Shore -- - Survey on canonical bases in simple theories - B. Kim -- - True approximations and models of arithmetic - J.F. Knight -- - On the topological stability conjecture - L. Newelski -- - Mahlo-universe of effective domains with totality - D. Normann -- - Logic and decision making - D.E. Over -- - Sheaf of locally definable scalars over a ring - M.Y. Prest -- - Human styles of quantificational reasoning - L.J. Rips -- - Recursion theoretic memories 1954-1978 - G.E. Sacks -- - Fields definable in simple groups - K. Tent -- - Combinatory algebra for sequential functionals of finite type - J. Van Oosten -- - Model theory of analytic and smooth functions - A.J. Wilkie</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique symbolique et mathématique / Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Systèmes informatiques / Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Berekenbaarheid</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">Logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Teoria dos modelos (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 / Infinity</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Logic</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computable functions</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic, Symbolic and mathematical</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">Logic, Symbolic and mathematical</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computable functions</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</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">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</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="856" ind1="4" ind2="0"><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=552643</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-028493079</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=552643</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=552643</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.BV043068887 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:16:29Z |
| institution | BVB |
| isbn | 0521635500 1107362709 9780521635509 9781107362703 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028493079 |
| oclc_num | 837167953 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 Online-Ressource (ix, 419 p.) |
| 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 Models and computability 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 Cambridge University Press 1999 1 Online-Ressource (ix, 419 p.) txt rdacontent c rdamedia cr rdacarrier London Mathematical Society lecture note series 259 Includes bibliographical references Continuous functionals of dependent and transfinite types - U. Berger -- - Degree-theoretic aspects of computably enumerable reals - C.S. Calude ... [et al.] -- - Simplicity and independence for pseudo-algebraically closed fields - Z. Chatzidakis -- - Clockwork or turing U/universe? -- remarks on causal determinism and computability - S.B. Cooper -- - Techniques oriented survey of bounded queries - W. Gasarch and F. Stephan -- - Relative categoricity in abelian groups - W.A. Hodges -- - Computability and complexity revisited - N.D. Jones -- - Effective model theory : the number of models and their complexity - B. Khoussainov and R.A. Shore -- - Survey on canonical bases in simple theories - B. Kim -- - True approximations and models of arithmetic - J.F. Knight -- - On the topological stability conjecture - L. Newelski -- - Mahlo-universe of effective domains with totality - D. Normann -- - Logic and decision making - D.E. Over -- - Sheaf of locally definable scalars over a ring - M.Y. Prest -- - Human styles of quantificational reasoning - L.J. Rips -- - Recursion theoretic memories 1954-1978 - G.E. Sacks -- - Fields definable in simple groups - K. Tent -- - Combinatory algebra for sequential functionals of finite type - J. Van Oosten -- - Model theory of analytic and smooth functions - A.J. Wilkie Logique symbolique et mathématique / Congrès ram Systèmes informatiques / Congrès ram Berekenbaarheid gtt Verzamelingen (wiskunde) gtt Bewijstheorie gtt Logica gtt Teoria dos modelos (congressos) larpcal Lógica matemática (congressos) larpcal MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Computable functions fast Logic, Symbolic and mathematical fast Logik Logic, Symbolic and mathematical Congresses Computable functions Congresses Modelltheorie (DE-588)4114617-7 gnd rswk-swf Berechenbarkeit (DE-588)4138368-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Modelltheorie (DE-588)4114617-7 s Berechenbarkeit (DE-588)4138368-0 s 1\p DE-604 Cooper, S. B. Sonstige oth Truss, J. K. Sonstige oth Association for Symbolic Logic Sonstige oth http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=552643 Aggregator Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Models and computability invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 Logique symbolique et mathématique / Congrès ram Systèmes informatiques / Congrès ram Berekenbaarheid gtt Verzamelingen (wiskunde) gtt Bewijstheorie gtt Logica gtt Teoria dos modelos (congressos) larpcal Lógica matemática (congressos) larpcal MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Computable functions fast Logic, Symbolic and mathematical fast Logik Logic, Symbolic and mathematical Congresses Computable functions Congresses Modelltheorie (DE-588)4114617-7 gnd Berechenbarkeit (DE-588)4138368-0 gnd |
| subject_GND | (DE-588)4114617-7 (DE-588)4138368-0 (DE-588)1071861417 |
| title | Models and computability invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 |
| title_auth | Models and computability invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 |
| title_exact_search | Models and computability invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 |
| title_full | Models and computability 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 | Models and computability 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 | Models and computability 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 | Models and computability |
| title_sort | models and computability 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 | Logique symbolique et mathématique / Congrès ram Systèmes informatiques / Congrès ram Berekenbaarheid gtt Verzamelingen (wiskunde) gtt Bewijstheorie gtt Logica gtt Teoria dos modelos (congressos) larpcal Lógica matemática (congressos) larpcal MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Computable functions fast Logic, Symbolic and mathematical fast Logik Logic, Symbolic and mathematical Congresses Computable functions Congresses Modelltheorie (DE-588)4114617-7 gnd Berechenbarkeit (DE-588)4138368-0 gnd |
| topic_facet | Logique symbolique et mathématique / Congrès Systèmes informatiques / Congrès Berekenbaarheid Verzamelingen (wiskunde) Bewijstheorie Logica Teoria dos modelos (congressos) Lógica matemática (congressos) MATHEMATICS / Infinity MATHEMATICS / Logic Computable functions Logic, Symbolic and mathematical Logik Logic, Symbolic and mathematical Congresses Computable functions Congresses Modelltheorie Berechenbarkeit Konferenzschrift |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=552643 |
| work_keys_str_mv | AT logiccolloquium1997leedsengland modelsandcomputabilityinvitedpapersfromlogiccolloquium97europeanmeetingoftheassociationforsymboliclogicleedsjuly1997 AT coopersb modelsandcomputabilityinvitedpapersfromlogiccolloquium97europeanmeetingoftheassociationforsymboliclogicleedsjuly1997 AT trussjk modelsandcomputabilityinvitedpapersfromlogiccolloquium97europeanmeetingoftheassociationforsymboliclogicleedsjuly1997 AT associationforsymboliclogic modelsandcomputabilityinvitedpapersfromlogiccolloquium97europeanmeetingoftheassociationforsymboliclogicleedsjuly1997 |