Realizability: an introduction to its categorical side
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Oxford
Elsevier
2008
|
| Edition: | 1st ed |
| Series: | Studies in logic and the foundations of mathematics
152 |
| Subjects: | |
| Online Access: | Volltext |
| Item Description: | Aimed at starting researchers in the field, Realizability gives a rigorous, yet reasonable introduction to the basic concepts of a field which has passed several successive phases of abstraction. Material from previously unpublished sources such as Ph. D. theses, unpublished papers, etc. has been molded into one comprehensive presentation of the subject area. - The first book to date on this subject area - Provides an clear introduction to Realizability with a comprehensive bibliography - Easy to read and mathematically rigorous - Written by an expert in the field Includes bibliographical references (p. 291-304) and index |
| Physical Description: | 1 Online-Ressource (xvi, 310 p.) |
| ISBN: | 9780444515841 0444515844 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042307032 | ||
| 003 | DE-604 | ||
| 005 | 20160923 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150129s2008 |||| o||u| ||||||eng d | ||
| 020 | |a 9780444515841 |9 978-0-444-51584-1 | ||
| 020 | |a 0444515844 |9 0-444-51584-4 | ||
| 035 | |a (ZDB-33-EBS)ocn272382234 | ||
| 035 | |a (OCoLC)272382234 | ||
| 035 | |a (DE-599)BVBBV042307032 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 | ||
| 082 | 0 | |a 511.3 |2 22 | |
| 100 | 1 | |a Oosten, Jaap van |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Realizability |b an introduction to its categorical side |c Jaap van Oosten |
| 250 | |a 1st ed | ||
| 264 | 1 | |a Oxford |b Elsevier |c 2008 | |
| 300 | |a 1 Online-Ressource (xvi, 310 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Studies in logic and the foundations of mathematics |v 152 | |
| 500 | |a Aimed at starting researchers in the field, Realizability gives a rigorous, yet reasonable introduction to the basic concepts of a field which has passed several successive phases of abstraction. Material from previously unpublished sources such as Ph. D. theses, unpublished papers, etc. has been molded into one comprehensive presentation of the subject area. - The first book to date on this subject area - Provides an clear introduction to Realizability with a comprehensive bibliography - Easy to read and mathematically rigorous - Written by an expert in the field | ||
| 500 | |a Includes bibliographical references (p. 291-304) and index | ||
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a Model theory |2 fast | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Realisierung |g Mathematik |0 (DE-588)4758721-0 |2 gnd |9 rswk-swf |
| 653 | |a Electronic books | ||
| 689 | 0 | 0 | |a Realisierung |g Mathematik |0 (DE-588)4758721-0 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780444515841 |x Verlag |3 Volltext |
| 912 | |a ZDB-33-ESD |a ZDB-33-EBS | ||
| 940 | 1 | |q FAW_PDA_ESD | |
| 940 | 1 | |q FLA_PDA_ESD | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027744024 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804152892178825216 |
|---|---|
| any_adam_object | |
| author | Oosten, Jaap van |
| author_facet | Oosten, Jaap van |
| author_role | aut |
| author_sort | Oosten, Jaap van |
| author_variant | j v o jv jvo |
| building | Verbundindex |
| bvnumber | BV042307032 |
| collection | ZDB-33-ESD ZDB-33-EBS |
| ctrlnum | (ZDB-33-EBS)ocn272382234 (OCoLC)272382234 (DE-599)BVBBV042307032 |
| 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 |
| edition | 1st ed |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02222nmm a2200481zcb4500</leader><controlfield tag="001">BV042307032</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160923 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150129s2008 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780444515841</subfield><subfield code="9">978-0-444-51584-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444515844</subfield><subfield code="9">0-444-51584-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-33-EBS)ocn272382234</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)272382234</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042307032</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></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Oosten, Jaap van</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Realizability</subfield><subfield code="b">an introduction to its categorical side</subfield><subfield code="c">Jaap van Oosten</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford</subfield><subfield code="b">Elsevier</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xvi, 310 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">Studies in logic and the foundations of mathematics</subfield><subfield code="v">152</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Aimed at starting researchers in the field, Realizability gives a rigorous, yet reasonable introduction to the basic concepts of a field which has passed several successive phases of abstraction. Material from previously unpublished sources such as Ph. D. theses, unpublished papers, etc. has been molded into one comprehensive presentation of the subject area. - The first book to date on this subject area - Provides an clear introduction to Realizability with a comprehensive bibliography - Easy to read and mathematically rigorous - Written by an expert in the field</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. 291-304) and index</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="7"><subfield code="a">Model theory</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Realisierung</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4758721-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Electronic books</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Realisierung</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4758721-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="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/book/9780444515841</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-33-ESD</subfield><subfield code="a">ZDB-33-EBS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FAW_PDA_ESD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FLA_PDA_ESD</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027744024</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></record></collection> |
| id | DE-604.BV042307032 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:17:55Z |
| institution | BVB |
| isbn | 9780444515841 0444515844 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027744024 |
| oclc_num | 272382234 |
| open_access_boolean | |
| owner | DE-1046 |
| owner_facet | DE-1046 |
| physical | 1 Online-Ressource (xvi, 310 p.) |
| psigel | ZDB-33-ESD ZDB-33-EBS FAW_PDA_ESD FLA_PDA_ESD |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | Elsevier |
| record_format | marc |
| series2 | Studies in logic and the foundations of mathematics |
| spelling | Oosten, Jaap van Verfasser aut Realizability an introduction to its categorical side Jaap van Oosten 1st ed Oxford Elsevier 2008 1 Online-Ressource (xvi, 310 p.) txt rdacontent c rdamedia cr rdacarrier Studies in logic and the foundations of mathematics 152 Aimed at starting researchers in the field, Realizability gives a rigorous, yet reasonable introduction to the basic concepts of a field which has passed several successive phases of abstraction. Material from previously unpublished sources such as Ph. D. theses, unpublished papers, etc. has been molded into one comprehensive presentation of the subject area. - The first book to date on this subject area - Provides an clear introduction to Realizability with a comprehensive bibliography - Easy to read and mathematically rigorous - Written by an expert in the field Includes bibliographical references (p. 291-304) and index Logic, Symbolic and mathematical fast Model theory fast Logic, Symbolic and mathematical Realisierung Mathematik (DE-588)4758721-0 gnd rswk-swf Electronic books Realisierung Mathematik (DE-588)4758721-0 s 1\p DE-604 http://www.sciencedirect.com/science/book/9780444515841 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Oosten, Jaap van Realizability an introduction to its categorical side Logic, Symbolic and mathematical fast Model theory fast Logic, Symbolic and mathematical Realisierung Mathematik (DE-588)4758721-0 gnd |
| subject_GND | (DE-588)4758721-0 |
| title | Realizability an introduction to its categorical side |
| title_auth | Realizability an introduction to its categorical side |
| title_exact_search | Realizability an introduction to its categorical side |
| title_full | Realizability an introduction to its categorical side Jaap van Oosten |
| title_fullStr | Realizability an introduction to its categorical side Jaap van Oosten |
| title_full_unstemmed | Realizability an introduction to its categorical side Jaap van Oosten |
| title_short | Realizability |
| title_sort | realizability an introduction to its categorical side |
| title_sub | an introduction to its categorical side |
| topic | Logic, Symbolic and mathematical fast Model theory fast Logic, Symbolic and mathematical Realisierung Mathematik (DE-588)4758721-0 gnd |
| topic_facet | Logic, Symbolic and mathematical Model theory Realisierung Mathematik |
| url | http://www.sciencedirect.com/science/book/9780444515841 |
| work_keys_str_mv | AT oostenjaapvan realizabilityanintroductiontoitscategoricalside |