Domain theory in realizability toposes:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | Undetermined |
| Published: |
Edinburgh
Univ. of Edinburgh, Dep. of Computer Science
1991
|
| Edition: | 2. ver., add. and rev. |
| Series: | University <Edinburgh> / Department of Computer Science: Thesis
82 |
| Subjects: | |
| Item Description: | Literaturverz. S. 205 - 210. - Zugl.: Edinburgh, Univ., Diss., 1990 |
| Physical Description: | 216 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV005485209 | ||
| 003 | DE-604 | ||
| 005 | 19951023 | ||
| 007 | t | ||
| 008 | 920820s1991 m||| 00||| und d | ||
| 035 | |a (OCoLC)630485389 | ||
| 035 | |a (DE-599)BVBBV005485209 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | |a und | ||
| 049 | |a DE-91G | ||
| 084 | |a MAT 180d |2 stub | ||
| 088 | |a CST 82 91 | ||
| 088 | |a ECS LFCS 91 171 | ||
| 100 | 1 | |a Phoa, Wesley |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Domain theory in realizability toposes |c Wesley Phoa |
| 246 | 1 | 3 | |a CST 82 91 |
| 246 | 1 | 3 | |a ECS LFCS 91 171 |
| 250 | |a 2. ver., add. and rev. | ||
| 264 | 1 | |a Edinburgh |b Univ. of Edinburgh, Dep. of Computer Science |c 1991 | |
| 300 | |a 216 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a University <Edinburgh> / Department of Computer Science: Thesis |v 82 | |
| 500 | |a Literaturverz. S. 205 - 210. - Zugl.: Edinburgh, Univ., Diss., 1990 | ||
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 810 | 2 | |a Department of Computer Science: Thesis |t University <Edinburgh> |v 82 |w (DE-604)BV008928181 |9 82 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-003434067 | ||
Record in the Search Index
| _version_ | 1804119699722600448 |
|---|---|
| any_adam_object | |
| author | Phoa, Wesley |
| author_facet | Phoa, Wesley |
| author_role | aut |
| author_sort | Phoa, Wesley |
| author_variant | w p wp |
| building | Verbundindex |
| bvnumber | BV005485209 |
| classification_tum | MAT 180d |
| ctrlnum | (OCoLC)630485389 (DE-599)BVBBV005485209 |
| discipline | Mathematik |
| edition | 2. ver., add. and rev. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01201nam a2200361 cb4500</leader><controlfield tag="001">BV005485209</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19951023 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">920820s1991 m||| 00||| und d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)630485389</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV005485209</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">und</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 180d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">CST 82 91</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">ECS LFCS 91 171</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Phoa, Wesley</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Domain theory in realizability toposes</subfield><subfield code="c">Wesley Phoa</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">CST 82 91</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">ECS LFCS 91 171</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2. ver., add. and rev.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Edinburgh</subfield><subfield code="b">Univ. of Edinburgh, Dep. of Computer Science</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">216 S.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">University <Edinburgh> / Department of Computer Science: Thesis</subfield><subfield code="v">82</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 205 - 210. - Zugl.: Edinburgh, Univ., Diss., 1990</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Department of Computer Science: Thesis</subfield><subfield code="t">University <Edinburgh></subfield><subfield code="v">82</subfield><subfield code="w">(DE-604)BV008928181</subfield><subfield code="9">82</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-003434067</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV005485209 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T16:30:21Z |
| institution | BVB |
| language | Undetermined |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003434067 |
| oclc_num | 630485389 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 216 S. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | Univ. of Edinburgh, Dep. of Computer Science |
| record_format | marc |
| series2 | University <Edinburgh> / Department of Computer Science: Thesis |
| spelling | Phoa, Wesley Verfasser aut Domain theory in realizability toposes Wesley Phoa CST 82 91 ECS LFCS 91 171 2. ver., add. and rev. Edinburgh Univ. of Edinburgh, Dep. of Computer Science 1991 216 S. txt rdacontent n rdamedia nc rdacarrier University <Edinburgh> / Department of Computer Science: Thesis 82 Literaturverz. S. 205 - 210. - Zugl.: Edinburgh, Univ., Diss., 1990 (DE-588)4113937-9 Hochschulschrift gnd-content Department of Computer Science: Thesis University <Edinburgh> 82 (DE-604)BV008928181 82 |
| spellingShingle | Phoa, Wesley Domain theory in realizability toposes |
| subject_GND | (DE-588)4113937-9 |
| title | Domain theory in realizability toposes |
| title_alt | CST 82 91 ECS LFCS 91 171 |
| title_auth | Domain theory in realizability toposes |
| title_exact_search | Domain theory in realizability toposes |
| title_full | Domain theory in realizability toposes Wesley Phoa |
| title_fullStr | Domain theory in realizability toposes Wesley Phoa |
| title_full_unstemmed | Domain theory in realizability toposes Wesley Phoa |
| title_short | Domain theory in realizability toposes |
| title_sort | domain theory in realizability toposes |
| topic_facet | Hochschulschrift |
| volume_link | (DE-604)BV008928181 |
| work_keys_str_mv | AT phoawesley domaintheoryinrealizabilitytoposes AT phoawesley cst8291 AT phoawesley ecslfcs91171 |