The Kleene Symposium: proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A
Gespeichert in:
Format: | Elektronisch E-Book |
---|---|
Sprache: | English |
Veröffentlicht: |
Amsterdam ; New York
North-Holland Pub. Co
1980
New York Sole distributors for the U.S.A. and Canada, Elsevier North-Holland |
Schriftenreihe: | Studies in logic and the foundations of mathematics
101 |
Schlagworte: | |
Online-Zugang: | BFB01 BHS01 BSB01 BTU01 BTW01 DMM01 EUV01 FAN01 FAW01 FAW02 FCO01 FFW01 FHA01 FHD01 FHI01 FHM01 FHN01 FHR01 FKE01 FLA01 FWS01 FWS02 HTW01 HWR01 LCO01 SAB01 SAM01 SBG01 SBR01 SND01 TUM01 UBA01 UBG01 UBM01 UBR01 UBT01 UBW01 UBY01 UEI01 UER01 UPA01 Volltext |
Beschreibung: | Includes bibliographical references |
Beschreibung: | 1 Online-Ressource (xx, 425 p.) ill 23 cm |
ISBN: | 0444853456 9780444853455 |
Internformat
MARC
LEADER | 00000nmm a2200000 cb4500 | ||
---|---|---|---|
001 | BV036962673 | ||
003 | DE-604 | ||
005 | 20190308 | ||
006 | a |||| 10||| | ||
007 | cr|uuu---uuuuu | ||
008 | 110118s1980 ne |||| o||u| ||||||eng d | ||
020 | |a 0444853456 |9 0-444-85345-6 | ||
020 | |a 9780444853455 |9 978-0-444-85345-5 | ||
035 | |a (OCoLC)316566821 | ||
035 | |a (DE-599)GBVNLM003734684 | ||
040 | |a DE-604 |b ger |e aacr | ||
041 | 0 | |a eng | |
044 | |a ne |c XA-NL | ||
049 | |a DE-526 |a DE-522 |a DE-523 |a DE-521 |a DE-634 |a DE-2070s |a DE-210 |a DE-155 |a DE-150 |a DE-22 |a DE-54 |a DE-128 |a DE-862 |a DE-863 |a DE-898 |a DE-92 |a DE-M347 |a DE-859 |a DE-573 |a DE-1028 |a DE-858 |a DE-1050 |a DE-1102 |a DE-1047 |a DE-1046 |a DE-Aug4 |a DE-706 |a DE-20 |a DE-355 |a DE-739 |a DE-91 |a DE-19 |a DE-29 |a DE-824 |a DE-703 |a DE-473 |a DE-384 |a DE-12 |a DE-860 |a DE-70 |a DE-B768 | ||
050 | 0 | |a QA9.6 | |
082 | 0 | |a 511/.3 | |
245 | 1 | 0 | |a The Kleene Symposium |b proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A |c edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen |
264 | 1 | |a Amsterdam ; New York |b North-Holland Pub. Co |c 1980 | |
264 | 1 | |a New York |b Sole distributors for the U.S.A. and Canada, Elsevier North-Holland | |
300 | |a 1 Online-Ressource (xx, 425 p.) |b ill |c 23 cm | ||
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 101 | |
500 | |a Includes bibliographical references | ||
533 | |a Online-Ausgabe |f Elsevier e-book collection on ScienceDirect |n Sonstige Standardnummer des Gesamttitels: 041169-3 | ||
600 | 1 | 4 | |a Kleene, Stephen Cole |d 1909-1994 |
650 | 0 | 7 | |a Rekursionstheorie |0 (DE-588)4122329-9 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Intuitionistische Logik |0 (DE-588)4162199-2 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Intuitionistische Mathematik |0 (DE-588)4162200-5 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
689 | 0 | 0 | |a Rekursionstheorie |0 (DE-588)4122329-9 |D s |
689 | 0 | |8 1\p |5 DE-604 | |
689 | 1 | 0 | |a Intuitionistische Logik |0 (DE-588)4162199-2 |D s |
689 | 1 | |8 2\p |5 DE-604 | |
689 | 2 | 0 | |a Intuitionistische Mathematik |0 (DE-588)4162200-5 |D s |
689 | 2 | |8 3\p |5 DE-604 | |
700 | 1 | |a Kleene, Stephen Cole |d 1909-1994 |e Sonstige |0 (DE-588)136329632 |4 oth | |
700 | 1 | |a Barwise, Jon |d 1942-2000 |e Sonstige |0 (DE-588)124163092 |4 oth | |
700 | 1 | |a Keisler, H. Jerome |d 1936- |e Sonstige |0 (DE-588)121701972 |4 oth | |
700 | 1 | |a Kunen, Kenneth |d 1943-2020 |e Sonstige |0 (DE-588)105069029X |4 oth | |
776 | 0 | 8 | |i Reproduktion von |t The Kleene Symposium |d 1980 |
856 | 4 | 0 | |u https://www.sciencedirect.com/science/book/9780444853455 |x Verlag |3 Volltext |
912 | |a ZDB-1-ELC | ||
999 | |a oai:aleph.bib-bvb.de:BVB01-020877541 | ||
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 | |
883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
966 | e | |u https://www.sciencedirect.com/science/book/9780444853455 |l BFB01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
966 | e | |u https://www.sciencedirect.com/science/book/9780444853455 |l BHS01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
966 | e | |u https://www.sciencedirect.com/science/book/9780444853455 |l BSB01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
966 | e | |u https://www.sciencedirect.com/science/book/9780444853455 |l BTU01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
966 | e | |u https://www.sciencedirect.com/science/book/9780444853455 |l BTW01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
966 | e | |u https://www.sciencedirect.com/science/book/9780444853455 |l DMM01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
966 | e | |u https://www.sciencedirect.com/science/book/9780444853455 |l EUV01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
966 | e | |u https://www.sciencedirect.com/science/book/9780444853455 |l FAN01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
966 | e | |u https://www.sciencedirect.com/science/book/9780444853455 |l FAW01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
966 | e | |u https://www.sciencedirect.com/science/book/9780444853455 |l FAW02 |p ZDB-1-ELC |x Verlag |3 Volltext | |
966 | e | |u https://www.sciencedirect.com/science/book/9780444853455 |l FCO01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
966 | e | |u https://www.sciencedirect.com/science/book/9780444853455 |l FFW01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
966 | e | |u https://www.sciencedirect.com/science/book/9780444853455 |l FHA01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
966 | e | |u https://www.sciencedirect.com/science/book/9780444853455 |l FHD01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
966 | e | |u https://www.sciencedirect.com/science/book/9780444853455 |l FHI01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
966 | e | |u https://www.sciencedirect.com/science/book/9780444853455 |l FHM01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
966 | e | |u https://www.sciencedirect.com/science/book/9780444853455 |l FHN01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
966 | e | |u https://www.sciencedirect.com/science/book/9780444853455 |l FHR01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
966 | e | |u https://www.sciencedirect.com/science/book/9780444853455 |l FKE01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
966 | e | |u https://www.sciencedirect.com/science/book/9780444853455 |l FLA01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
966 | e | |u https://www.sciencedirect.com/science/book/9780444853455 |l FWS01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
966 | e | |u https://www.sciencedirect.com/science/book/9780444853455 |l FWS02 |p ZDB-1-ELC |x Verlag |3 Volltext | |
966 | e | |u https://www.sciencedirect.com/science/book/9780444853455 |l HTW01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
966 | e | |u https://www.sciencedirect.com/science/book/9780444853455 |l HWR01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
966 | e | |u https://www.sciencedirect.com/science/book/9780444853455 |l LCO01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
966 | e | |u https://www.sciencedirect.com/science/book/9780444853455 |l SAB01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
966 | e | |u https://www.sciencedirect.com/science/book/9780444853455 |l SAM01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
966 | e | |u https://www.sciencedirect.com/science/book/9780444853455 |l SBG01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
966 | e | |u https://www.sciencedirect.com/science/book/9780444853455 |l SBR01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
966 | e | |u https://www.sciencedirect.com/science/book/9780444853455 |l SND01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
966 | e | |u https://www.sciencedirect.com/science/book/9780444853455 |l TUM01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
966 | e | |u https://www.sciencedirect.com/science/book/9780444853455 |l UBA01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
966 | e | |u https://www.sciencedirect.com/science/book/9780444853455 |l UBG01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
966 | e | |u https://www.sciencedirect.com/science/book/9780444853455 |l UBM01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
966 | e | |u https://www.sciencedirect.com/science/book/9780444853455 |l UBR01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
966 | e | |u https://www.sciencedirect.com/science/book/9780444853455 |l UBT01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
966 | e | |u https://www.sciencedirect.com/science/book/9780444853455 |l UBW01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
966 | e | |u https://www.sciencedirect.com/science/book/9780444853455 |l UBY01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
966 | e | |u https://www.sciencedirect.com/science/book/9780444853455 |l UEI01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
966 | e | |u https://www.sciencedirect.com/science/book/9780444853455 |l UER01 |p ZDB-1-ELC |x Verlag |3 Volltext | |
966 | e | |u https://www.sciencedirect.com/science/book/9780444853455 |l UPA01 |p ZDB-1-ELC |x Verlag |3 Volltext |
Datensatz im Suchindex
DE-BY-FWS_katkey | 390287 |
---|---|
_version_ | 1824554148488544256 |
any_adam_object | |
author_GND | (DE-588)136329632 (DE-588)124163092 (DE-588)121701972 (DE-588)105069029X |
building | Verbundindex |
bvnumber | BV036962673 |
callnumber-first | Q - Science |
callnumber-label | QA9 |
callnumber-raw | QA9.6 |
callnumber-search | QA9.6 |
callnumber-sort | QA 19.6 |
callnumber-subject | QA - Mathematics |
collection | ZDB-1-ELC |
ctrlnum | (OCoLC)316566821 (DE-599)GBVNLM003734684 |
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 13 |
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>07460nmm a2201093 cb4500</leader><controlfield tag="001">BV036962673</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20190308 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">110118s1980 ne |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444853456</subfield><subfield code="9">0-444-85345-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780444853455</subfield><subfield code="9">978-0-444-85345-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)316566821</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBVNLM003734684</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="044" ind1=" " ind2=" "><subfield code="a">ne</subfield><subfield code="c">XA-NL</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-526</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-2070s</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-155</subfield><subfield code="a">DE-150</subfield><subfield code="a">DE-22</subfield><subfield code="a">DE-54</subfield><subfield code="a">DE-128</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-1028</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-1102</subfield><subfield code="a">DE-1047</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-70</subfield><subfield code="a">DE-B768</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.6</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511/.3</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The Kleene Symposium</subfield><subfield code="b">proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A</subfield><subfield code="c">edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam ; New York</subfield><subfield code="b">North-Holland Pub. Co</subfield><subfield code="c">1980</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York</subfield><subfield code="b">Sole distributors for the U.S.A. and Canada, Elsevier North-Holland</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xx, 425 p.)</subfield><subfield code="b">ill</subfield><subfield code="c">23 cm</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">101</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="a">Online-Ausgabe</subfield><subfield code="f">Elsevier e-book collection on ScienceDirect</subfield><subfield code="n">Sonstige Standardnummer des Gesamttitels: 041169-3</subfield></datafield><datafield tag="600" ind1="1" ind2="4"><subfield code="a">Kleene, Stephen Cole</subfield><subfield code="d">1909-1994</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Rekursionstheorie</subfield><subfield code="0">(DE-588)4122329-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Intuitionistische Logik</subfield><subfield code="0">(DE-588)4162199-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Intuitionistische Mathematik</subfield><subfield code="0">(DE-588)4162200-5</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">Rekursionstheorie</subfield><subfield code="0">(DE-588)4122329-9</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">Intuitionistische Logik</subfield><subfield code="0">(DE-588)4162199-2</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="689" ind1="2" ind2="0"><subfield code="a">Intuitionistische Mathematik</subfield><subfield code="0">(DE-588)4162200-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kleene, Stephen Cole</subfield><subfield code="d">1909-1994</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)136329632</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Barwise, Jon</subfield><subfield code="d">1942-2000</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)124163092</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Keisler, H. Jerome</subfield><subfield code="d">1936-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)121701972</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kunen, Kenneth</subfield><subfield code="d">1943-2020</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)105069029X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Reproduktion von</subfield><subfield code="t">The Kleene Symposium</subfield><subfield code="d">1980</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-1-ELC</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020877541</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><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\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">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">BFB01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">BHS01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">BSB01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">BTW01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">DMM01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">EUV01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">FAN01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">FAW02</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">FCO01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">FFW01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">FHD01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">FHM01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">FHR01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">FKE01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">FLA01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">FWS01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">FWS02</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">HTW01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">HWR01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">LCO01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">SAB01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">SAM01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">SBG01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">SBR01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">SND01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">UBA01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">UBR01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">UEI01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">UER01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift gnd-content |
genre_facet | Konferenzschrift |
id | DE-604.BV036962673 |
illustrated | Not Illustrated |
indexdate | 2025-02-20T06:47:10Z |
institution | BVB |
isbn | 0444853456 9780444853455 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020877541 |
oclc_num | 316566821 |
open_access_boolean | |
owner | DE-526 DE-522 DE-523 DE-521 DE-634 DE-2070s DE-210 DE-155 DE-BY-UBR DE-150 DE-22 DE-BY-UBG DE-54 DE-128 DE-862 DE-BY-FWS DE-863 DE-BY-FWS DE-898 DE-BY-UBR DE-92 DE-M347 DE-859 DE-573 DE-1028 DE-858 DE-1050 DE-1102 DE-1047 DE-1046 DE-Aug4 DE-706 DE-20 DE-355 DE-BY-UBR DE-739 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-29 DE-824 DE-703 DE-473 DE-BY-UBG DE-384 DE-12 DE-860 DE-70 DE-B768 |
owner_facet | DE-526 DE-522 DE-523 DE-521 DE-634 DE-2070s DE-210 DE-155 DE-BY-UBR DE-150 DE-22 DE-BY-UBG DE-54 DE-128 DE-862 DE-BY-FWS DE-863 DE-BY-FWS DE-898 DE-BY-UBR DE-92 DE-M347 DE-859 DE-573 DE-1028 DE-858 DE-1050 DE-1102 DE-1047 DE-1046 DE-Aug4 DE-706 DE-20 DE-355 DE-BY-UBR DE-739 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-29 DE-824 DE-703 DE-473 DE-BY-UBG DE-384 DE-12 DE-860 DE-70 DE-B768 |
physical | 1 Online-Ressource (xx, 425 p.) ill 23 cm |
psigel | ZDB-1-ELC |
publishDate | 1980 |
publishDateSearch | 1980 |
publishDateSort | 1980 |
publisher | North-Holland Pub. Co Sole distributors for the U.S.A. and Canada, Elsevier North-Holland |
record_format | marc |
series2 | Studies in logic and the foundations of mathematics |
spellingShingle | The Kleene Symposium proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A Kleene, Stephen Cole 1909-1994 Rekursionstheorie (DE-588)4122329-9 gnd Intuitionistische Logik (DE-588)4162199-2 gnd Intuitionistische Mathematik (DE-588)4162200-5 gnd |
subject_GND | (DE-588)4122329-9 (DE-588)4162199-2 (DE-588)4162200-5 (DE-588)1071861417 |
title | The Kleene Symposium proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A |
title_auth | The Kleene Symposium proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A |
title_exact_search | The Kleene Symposium proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A |
title_full | The Kleene Symposium proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen |
title_fullStr | The Kleene Symposium proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen |
title_full_unstemmed | The Kleene Symposium proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen |
title_short | The Kleene Symposium |
title_sort | the kleene symposium proceedings of the symposium held june 18 24 1978 at madison wisconsin u s a |
title_sub | proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A |
topic | Kleene, Stephen Cole 1909-1994 Rekursionstheorie (DE-588)4122329-9 gnd Intuitionistische Logik (DE-588)4162199-2 gnd Intuitionistische Mathematik (DE-588)4162200-5 gnd |
topic_facet | Kleene, Stephen Cole 1909-1994 Rekursionstheorie Intuitionistische Logik Intuitionistische Mathematik Konferenzschrift |
url | https://www.sciencedirect.com/science/book/9780444853455 |
work_keys_str_mv | AT kleenestephencole thekleenesymposiumproceedingsofthesymposiumheldjune18241978atmadisonwisconsinusa AT barwisejon thekleenesymposiumproceedingsofthesymposiumheldjune18241978atmadisonwisconsinusa AT keislerhjerome thekleenesymposiumproceedingsofthesymposiumheldjune18241978atmadisonwisconsinusa AT kunenkenneth thekleenesymposiumproceedingsofthesymposiumheldjune18241978atmadisonwisconsinusa |