Formal systems and recursive functions:
Gespeichert in:
| Format: | Elektronisch E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
North-Holland
1965
|
| Schriftenreihe: | Studies in logic and the foundations of mathematics
v. 40 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Includes bibliographical references |
| Beschreibung: | 1 Online-Ressource (v, 320 p.) |
| ISBN: | 9780444534057 0444534059 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042317955 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150129s1965 |||| o||u| ||||||eng d | ||
| 020 | |a 9780444534057 |9 978-0-444-53405-7 | ||
| 020 | |a 0444534059 |9 0-444-53405-9 | ||
| 035 | |a (OCoLC)428097423 | ||
| 035 | |a (DE-599)BVBBV042317955 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-706 | ||
| 082 | 0 | |a 511.3/52 |2 22 | |
| 245 | 1 | 0 | |a Formal systems and recursive functions |c edited by J.N. Crossley and M.A.E. Dummett |
| 264 | 1 | |a Amsterdam |b North-Holland |c 1965 | |
| 300 | |a 1 Online-Ressource (v, 320 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 v. 40 | |
| 500 | |a Includes bibliographical references | ||
| 650 | 7 | |a Conference proceedings |2 fast | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a Recursive functions |2 fast | |
| 650 | 4 | |a Recursive functions |v Congresses | |
| 650 | 4 | |a Logic, Symbolic and mathematical |v Congresses | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Crossley, John N. |e Sonstige |4 oth | |
| 700 | 1 | |a Dummett, Michael |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780444534057 |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-027754946 | ||
Datensatz im Suchindex
| _version_ | 1804152914967527424 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV042317955 |
| collection | ZDB-33-ESD ZDB-33-EBS |
| ctrlnum | (OCoLC)428097423 (DE-599)BVBBV042317955 |
| dewey-full | 511.3/52 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3/52 |
| dewey-search | 511.3/52 |
| dewey-sort | 3511.3 252 |
| 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>01519nmm a2200433zcb4500</leader><controlfield tag="001">BV042317955</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</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">9780444534057</subfield><subfield code="9">978-0-444-53405-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444534059</subfield><subfield code="9">0-444-53405-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)428097423</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042317955</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">511.3/52</subfield><subfield code="2">22</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal systems and recursive functions</subfield><subfield code="c">edited by J.N. Crossley and M.A.E. Dummett</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">North-Holland</subfield><subfield code="c">1965</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (v, 320 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">v. 40</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Conference proceedings</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="7"><subfield code="a">Recursive functions</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Recursive functions</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="v">Congresses</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="700" ind1="1" ind2=" "><subfield code="a">Crossley, John N.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Dummett, Michael</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/book/9780444534057</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-027754946</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV042317955 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:18:17Z |
| institution | BVB |
| isbn | 9780444534057 0444534059 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027754946 |
| oclc_num | 428097423 |
| open_access_boolean | |
| owner | DE-1046 DE-706 |
| owner_facet | DE-1046 DE-706 |
| physical | 1 Online-Ressource (v, 320 p.) |
| psigel | ZDB-33-ESD ZDB-33-EBS FAW_PDA_ESD FLA_PDA_ESD |
| publishDate | 1965 |
| publishDateSearch | 1965 |
| publishDateSort | 1965 |
| publisher | North-Holland |
| record_format | marc |
| series2 | Studies in logic and the foundations of mathematics |
| spelling | Formal systems and recursive functions edited by J.N. Crossley and M.A.E. Dummett Amsterdam North-Holland 1965 1 Online-Ressource (v, 320 p.) txt rdacontent c rdamedia cr rdacarrier Studies in logic and the foundations of mathematics v. 40 Includes bibliographical references Conference proceedings fast Logic, Symbolic and mathematical fast Recursive functions fast Recursive functions Congresses Logic, Symbolic and mathematical Congresses (DE-588)1071861417 Konferenzschrift gnd-content Crossley, John N. Sonstige oth Dummett, Michael Sonstige oth http://www.sciencedirect.com/science/book/9780444534057 Verlag Volltext |
| spellingShingle | Formal systems and recursive functions Conference proceedings fast Logic, Symbolic and mathematical fast Recursive functions fast Recursive functions Congresses Logic, Symbolic and mathematical Congresses |
| subject_GND | (DE-588)1071861417 |
| title | Formal systems and recursive functions |
| title_auth | Formal systems and recursive functions |
| title_exact_search | Formal systems and recursive functions |
| title_full | Formal systems and recursive functions edited by J.N. Crossley and M.A.E. Dummett |
| title_fullStr | Formal systems and recursive functions edited by J.N. Crossley and M.A.E. Dummett |
| title_full_unstemmed | Formal systems and recursive functions edited by J.N. Crossley and M.A.E. Dummett |
| title_short | Formal systems and recursive functions |
| title_sort | formal systems and recursive functions |
| topic | Conference proceedings fast Logic, Symbolic and mathematical fast Recursive functions fast Recursive functions Congresses Logic, Symbolic and mathematical Congresses |
| topic_facet | Conference proceedings Logic, Symbolic and mathematical Recursive functions Recursive functions Congresses Logic, Symbolic and mathematical Congresses Konferenzschrift |
| url | http://www.sciencedirect.com/science/book/9780444534057 |
| work_keys_str_mv | AT crossleyjohnn formalsystemsandrecursivefunctions AT dummettmichael formalsystemsandrecursivefunctions |