A transfinite type theory with type variables:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
North-Holland Publishing Company
1965
|
| Schriftenreihe: | Studies in logic and the foundations of mathematics
volume 37 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Includes bibliographical references (p. 141) |
| Beschreibung: | 1 Online-Ressource, xv, 143 Seiten |
| ISBN: | 9780444534026 0444534024 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042318062 | ||
| 003 | DE-604 | ||
| 005 | 20220225 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150129s1965 |||| o||u| ||||||eng d | ||
| 020 | |a 9780444534026 |9 978-0-444-53402-6 | ||
| 020 | |a 0444534024 |9 0-444-53402-4 | ||
| 035 | |a (OCoLC)655568923 | ||
| 035 | |a (DE-599)BVBBV042318062 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-706 | ||
| 082 | 0 | |a 164 | |
| 100 | 1 | |a Andrews, P. B. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a A transfinite type theory with type variables |c by P.B. Andrews, Carneigc Institute of Technology, Pittsburgh, Pa. |
| 264 | 1 | |a Amsterdam |b North-Holland Publishing Company |c 1965 | |
| 300 | |a 1 Online-Ressource, xv, 143 Seiten | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Studies in logic and the foundations of mathematics |v volume 37 | |
| 500 | |a Includes bibliographical references (p. 141) | ||
| 650 | 4 | |a Types, Théorie des | |
| 650 | 7 | |a Type theory |2 fast | |
| 650 | 7 | |a Logica |2 larpcal | |
| 650 | 7 | |a Logica Matematica |2 larpcal | |
| 650 | 4 | |a Logik | |
| 650 | 4 | |a Type theory | |
| 650 | 0 | 7 | |a Transfinite Zahl |0 (DE-588)4471005-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Transfinite Typentheorie |0 (DE-588)4473147-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Transfinite Zahl |0 (DE-588)4471005-7 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Transfinite Typentheorie |0 (DE-588)4473147-4 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |
| 830 | 0 | |a Studies in logic and the foundations of mathematics |v volume 37 |w (DE-604)BV023066423 |9 37 | |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780444534026 |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-027755053 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804152915178291200 |
|---|---|
| any_adam_object | |
| author | Andrews, P. B. |
| author_facet | Andrews, P. B. |
| author_role | aut |
| author_sort | Andrews, P. B. |
| author_variant | p b a pb pba |
| building | Verbundindex |
| bvnumber | BV042318062 |
| collection | ZDB-33-ESD ZDB-33-EBS |
| ctrlnum | (OCoLC)655568923 (DE-599)BVBBV042318062 |
| dewey-full | 164 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 164 - [Unassigned] |
| dewey-raw | 164 |
| dewey-search | 164 |
| dewey-sort | 3164 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Philosophie |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02051nmm a2200541zcb4500</leader><controlfield tag="001">BV042318062</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220225 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150129s1965 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780444534026</subfield><subfield code="9">978-0-444-53402-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444534024</subfield><subfield code="9">0-444-53402-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)655568923</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042318062</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-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">164</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Andrews, P. B.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A transfinite type theory with type variables</subfield><subfield code="c">by P.B. Andrews, Carneigc Institute of Technology, Pittsburgh, Pa.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">North-Holland Publishing Company</subfield><subfield code="c">1965</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource, xv, 143 Seiten</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="1" ind2=" "><subfield code="a">Studies in logic and the foundations of mathematics</subfield><subfield code="v">volume 37</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. 141)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Types, Théorie des</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Type theory</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logica</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logica Matematica</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Type theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Transfinite Zahl</subfield><subfield code="0">(DE-588)4471005-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Transfinite Typentheorie</subfield><subfield code="0">(DE-588)4473147-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Transfinite Zahl</subfield><subfield code="0">(DE-588)4471005-7</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="689" ind1="1" ind2="0"><subfield code="a">Transfinite Typentheorie</subfield><subfield code="0">(DE-588)4473147-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Studies in logic and the foundations of mathematics</subfield><subfield code="v">volume 37</subfield><subfield code="w">(DE-604)BV023066423</subfield><subfield code="9">37</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/book/9780444534026</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-027755053</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="883" ind1="1" ind2=" "><subfield code="8">2\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.BV042318062 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:18:18Z |
| institution | BVB |
| isbn | 9780444534026 0444534024 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027755053 |
| oclc_num | 655568923 |
| open_access_boolean | |
| owner | DE-1046 DE-706 |
| owner_facet | DE-1046 DE-706 |
| physical | 1 Online-Ressource, xv, 143 Seiten |
| psigel | ZDB-33-ESD ZDB-33-EBS FAW_PDA_ESD FLA_PDA_ESD |
| publishDate | 1965 |
| publishDateSearch | 1965 |
| publishDateSort | 1965 |
| publisher | North-Holland Publishing Company |
| record_format | marc |
| series | Studies in logic and the foundations of mathematics |
| series2 | Studies in logic and the foundations of mathematics |
| spelling | Andrews, P. B. Verfasser aut A transfinite type theory with type variables by P.B. Andrews, Carneigc Institute of Technology, Pittsburgh, Pa. Amsterdam North-Holland Publishing Company 1965 1 Online-Ressource, xv, 143 Seiten txt rdacontent c rdamedia cr rdacarrier Studies in logic and the foundations of mathematics volume 37 Includes bibliographical references (p. 141) Types, Théorie des Type theory fast Logica larpcal Logica Matematica larpcal Logik Type theory Transfinite Zahl (DE-588)4471005-7 gnd rswk-swf Transfinite Typentheorie (DE-588)4473147-4 gnd rswk-swf Transfinite Zahl (DE-588)4471005-7 s 1\p DE-604 Transfinite Typentheorie (DE-588)4473147-4 s 2\p DE-604 Erscheint auch als Druck-Ausgabe Studies in logic and the foundations of mathematics volume 37 (DE-604)BV023066423 37 http://www.sciencedirect.com/science/book/9780444534026 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Andrews, P. B. A transfinite type theory with type variables Studies in logic and the foundations of mathematics Types, Théorie des Type theory fast Logica larpcal Logica Matematica larpcal Logik Type theory Transfinite Zahl (DE-588)4471005-7 gnd Transfinite Typentheorie (DE-588)4473147-4 gnd |
| subject_GND | (DE-588)4471005-7 (DE-588)4473147-4 |
| title | A transfinite type theory with type variables |
| title_auth | A transfinite type theory with type variables |
| title_exact_search | A transfinite type theory with type variables |
| title_full | A transfinite type theory with type variables by P.B. Andrews, Carneigc Institute of Technology, Pittsburgh, Pa. |
| title_fullStr | A transfinite type theory with type variables by P.B. Andrews, Carneigc Institute of Technology, Pittsburgh, Pa. |
| title_full_unstemmed | A transfinite type theory with type variables by P.B. Andrews, Carneigc Institute of Technology, Pittsburgh, Pa. |
| title_short | A transfinite type theory with type variables |
| title_sort | a transfinite type theory with type variables |
| topic | Types, Théorie des Type theory fast Logica larpcal Logica Matematica larpcal Logik Type theory Transfinite Zahl (DE-588)4471005-7 gnd Transfinite Typentheorie (DE-588)4473147-4 gnd |
| topic_facet | Types, Théorie des Type theory Logica Logica Matematica Logik Transfinite Zahl Transfinite Typentheorie |
| url | http://www.sciencedirect.com/science/book/9780444534026 |
| volume_link | (DE-604)BV023066423 |
| work_keys_str_mv | AT andrewspb atransfinitetypetheorywithtypevariables |